RaTLoCC

The workshop wants to offer an opportunity for the communities working in proof theory of arithmetic, in reverse mathematics, in finite and infinite combinatorics of Ramsey theory, in proof complexity, and in bounded arithmetic, to be exposed to one another's recent results, methods, and goals.

The goals of the workshop are to stimulate the interaction between researchers in the above-mentioned areas, to enhance the transfer of methods from one area to the other, as well as to set the ground for a unifying view on the logico-combinatorial study of combinatorial principles, such as Ramsey-type statements.

The workshop is in its fourth edition. For info on past editions see RaTLoCC18, RaTLoCC11 and RaTLoCC09.

This conference promotes gender equality.

Scientific Committee

Lorenzo Carlucci (Sapienza Università di Roma)

Raphaël Carroy (Università di Torino)

Peter Cholak (Notre Dame University)

Mauro Di Nasso (Università di Pisa)

Nicola Galesi (Sapienza Università di Roma)

William Gasarch (University of Maryland)

Renling Jin (College of Charleston)

Lorenzo Luperi Baglini (Università di Milano)

Confirmed Invited Speakers

(For abstracts of talks see here)

Ryan Alweiss (University of Cambridge) Monochromatic Sums and Products over Q 

Olaf Beyersdorff (Friedrich-Schiller University of Jena) Proofs and circuits for quantified polynomials

Sam Buss (University of California, San Diego) Propositional Proof Complexity of the Kneser-Lovàsz Theorem 

David Conlon (California Institute of Technology) TBA

Michele D'Adderio (University of Pisa) q,t-combinatorics and sandpiles 

Noé de Rancourt (Université de Lille) On amalgamation-elementary functors

Natasha Dobrinen (University of Notre Dame) Big Ramsey degrees: forcing, non-forcing, and computability-theoretic aspects

Mirna Džamonja (IRIF: CNRS et Université de Paris-Cité) Properties preserved by Chu transforms

Damir Dzhafarov (University of Connecticut) The Ginsburg-Sands theorem and computability

David Fernández-Bretón  (Instituto Politécnico Nacional, Mexico City) Owings-like theorems for infinitely many colours or finite monochromatic sets

Jeffry L. Hirst (Appalachian State University) Pigeonhole:  Old and preliminary results

Maria-Romina Ivan (University of Cambridge) TBA

Imre Leader (University of Cambridge) Sparse Partition Regularity

Ludovic Levy Patey (CNRS, IMJ-PRG-Université Paris Cité) Partial conservation of Ramsey's theorem for pairs

Alberto Marcone (Università di Udine) The barrier Ramsey theorem

Amador Martin-Pizarro (Albert-Ludwigs-Universität Freiburg) On three arithmetic progressions for definable sets

Rosario Mennuni (University of Pisa) Ultrafilters, congruences, and profinite groups

Jaroslav Nešetřil (Charles University, Prague) Structural Ramsey Theory

Pavel Pudlák (Mathematical Institute of the Czech Academy of Sciences) Colorings of k-sets with low discrepancy

Mariaclara Ragosta (Università di Pisa) Central sets and infinite monochromatic exponential patterns

Salvatore Scamperti (Università di Torino) Injective continuous quasi-order

Philippe Schnoebelen (LSV, CNRS, ENS Paris-Saclay) Reasoning about subwords and subsequences

Dmitry Sokolov (Steklov Institute of Mathematics) Random log(n)-CNF are Hard for Cutting Planes (Again)

Navid Talebanfard (University of Sheffield) Local Enumeration and Majority Lower Bounds

The conference Program is now available here!

All talks will take place in the Aula Magna of the Mathematics Department of the University of Pisa 

(Largo Bruno Pontecorvo 5, Pisa)

Organizing Committee

Lorenzo Carlucci (Sapienza Università di Roma)

Raphaël Carroy (Università di Torino)

Mauro Di Nasso (Università di Pisa)

Nicola Galesi (Sapienza Università di Roma)

Lorenzo Luperi Baglini (Università di Milano)

Participants

Ryan Alweiss (University of Cambridge, UK)

Giulio Ballardin (European Gravitational Observatory, Italy)

Ainur Basheyeva (Eurasian National University, Kazakhstan)

Alessandro Berarducci (University of Pisa, Italy)

Olaf Beyersdorff (University of Jena, Germany)

Ilario Bonacina (UPC Barcelona Tech, Spain)

Sam Buss (University of California, San Diego, USA)

Matteo Casarosa (Université Paris-Cité & Università di Bologna, Italy)

Natasha Dobrinen (University of Notre Dame, USA)

Esteban Castillo (Universität Bonn)

David Conlon (California Institute of Technology)

Michele D'Adderio (Università di Pisa, Italy)

Noé de Rancourt (Université de Lille)

Valentino Delle Rose (Sapienza Università di Roma, Italy)

Bianca Drumea (University of British Columbia)

Mirna Džamonja (IRIF: CNRS et Université de Paris-Cité)

Damir Dzhafarov (University of Connecticut)

Théo Fabris (University of São Paulo, Brazil)

David Jose Fernandez-Breton (Instituto Politecnico Nacional, Mexico)

Marco Forti (University of Pisa, Italy)

Francesco Gallinaro (Università di Pisa)

Oriola Gjetaj (University of Ghent, Belgium)

Haydar Göral (Izmir Institute of Technology, Turkey)

Marlene Gründel (University of Jena, Germany)

Jeff Hirst (Appalachian State University, USA)

Jan Hubicka (Charles University, Czech Republic)

Maria-Romina Ivan (University of Cambridge, UK)

Renling Jin (College of Charleston, USA)

Katarzyna Kowalik (University of Würzburg, Germany)

Imre Leader (University of Cambridge, UK)

Ludovic Levy Patey (CNRS IMJ-PRG, France)

Yun Lu (Kutztown University, USA)

Alberto Marcone (Università di Udine, Italy)

Amador Martin-Pizzarro (University of Freiburg, Germany)

Rosario Mennuni (Università di Pisa, Italy)

Gian Marco Osso (Università di Udine, Italy)

Francesco Parente (Kobe University, Japan)

Jaroslav Nešetřil (Charles University, Prague)

Pavel Pudlák (Mathematical Institute of the Czech Academy of Sciences)

Maria Clara Ragosta (Università di Pisa, Italy)

Salvatore Scamperti (University of Turin, Italy)

Philippe Schnoebelen (LSV, CNRS, ENS Paris-Saclay)

Dmitry Sokolov (EPFL, Switzerland)

Rob Sullivan (University of Münster, Germany)

Navid Talebanfard (University of Sheffield, UK)

Vladimir Tonchev (Michigan Technological University, USA)

Jacobo Toran (University of Ulm, Germany)

Alessandro Vegnuti 

Andrea Vivi (Sapienza University of Rome, Italy) 

Local Organization

Beatrice Degasperi (Università di Torino)

Oriola Gjetaj (Gent University)

Rosario Mennuni (Università di Pisa)

Elena Pozzan (Università di Torino)

Mariaclara Ragosta (Università di Pisa)

Reaching Pisa and the Conference Location

BY FLIGHT
—
Pisa International Airport “Galileo Galilei” is conveniently located close to the city center (about 1.5 Km). For information about links and timetables, visit the airport web site: www.pisa-airport.com.

Florence Airport “Amerigo Vespucci” is located close to center of Florence, at a distance of about 85 Km from Pisa. There are bus connections to “Firenze Santa Maria Novella” railway station, from where frequent connections to “Pisa centrale” station are available. For more information, visit the airport web site: www.aeroporto.firenze.it.

When reserving your ticket, we suggest you to double check with your agency whether your flight actually lands in Pisa Airport or in Florence Airport (sometimes, tickets generically indicate Pisa/Florence airport).

BY TRAIN
—
The “Pisa centrale” railway station is located at walking distance from the center of town. There are direct trains from Rome, Florence, Milan, Genoa and many other cities to “Pisa centrale”. For information about timetables, visit the web site: www.trenitalia.com.

CONFERENCE SITE
—
The conference will be held in the Aula Magna of the Department of Mathematics of the University of Pisa, located in Largo Bruno Pontecorvo 5. The site is within walking distance of the center of Pisa.

MAPS AND LINKS

—

Pisa and airport

Pisa city center

Pisa per te

The organization of RaTLoCC 2024 is not involved in reservations of hotels.

WE STRONGLY RECOMMEND TO BOOK HOTELS WELL IN ADVANCE, BECAUSE JUNE IS HIGH SEASON IN PISA.

For inquiries on the conference please write to the following email address: ratlocc24@gmail.com