RaTLoCC
Ramsey Theory in Logic, Combinatorics and Complexity
IV Edition
University of Pisa
Department of Mathematics
11-14 June 2024
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.
The workshop is organized within the PRIN 2022 Project
"Logical Methods in Combinatorics" (2022BXH4R5)
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:
Ryan Alweiss (University of Cambridge)
Ilario Bonacina (UPC Barcelona Tech)
Sam Buss (University of California, San Diego)
David Conlon (California Institute of Technology)
Noé de Rancourt (Charles University, Prague)
Michele D'Adderio (University of Pisa)
Natasha Dobrinen (University of Notre Dame)
Mirna Džamonja (IRIF: CNRS et Université de Paris-Cité)
Damir Dzhafarov (University of Connecticut)
David Fernández-Bretón (Instituto Politécnico Nacional, Mexico City)
Jeffry L. Hirst (Appalachian State University)
Maria-Romina Ivan (University of Cambridge)
Imre Leader (University of Cambridge)
Alberto Marcone (Università di Udine)
Amador Martin-Pizarro (Albert-Ludwigs-Universität Freiburg)
Rosario Mennuni (University of Pisa)
Jaroslav Nešetřil (Charles University, Prague)
Mariaclara Ragosta (Università di Pisa)
Ludovic Patey (CNRS, IMJ-PRG-Université Paris Cité)
Pavel Pudlák (Mathematical Institute of the Czech Academy of Sciences)
Salvatore Scamperti (Università di Torino)
Philippe Schnoebelen (LSV, CNRS, ENS Paris-Saclay)
Navid Talebanfard (University of Sheffield)
For inquiries on the conference please write to the following email address: ratlocc24@gmail.com
Organizing Committee
Lorenzo Carlucci (Sapienza Università di Roma)
Raphaël Carroy (Università di Torino)
Mauro Di Nasso (Università di Pisa)
Lorenzo Luperi Baglini (Università di Milano)
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 Aula Magna Pontecorvo, located in Largo Bruno Pontecorvo 3, next to the Math Department. The site is within walking distance of the center of Pisa.
MAPS AND LINKS
—
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.