Logic List Mailing Archive
CfR: RaTLoCC 2024: Ramsey Theory in Logic, Combinatorics and Complexity, 11 - 14 June 2024, Pisa (Italy)
RaTLoCC24: Ramsey Theory in Logic, Combinatorics and Complexity
June 11 - June 14, 2024, Pisa, Italy
https://sites.google.com/uniroma1.it/lomec/events/ratlocc
Dear all,
We are happy to announce that registration for the upcoming event "RaTLoCC24: Ramsey Theory in Logic, Combinatorics and Complexity", which will be held in Pisa (Italy) from June 11th to June 14th, 2024, is now open.
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, and it is part of the PRIN 2022 project "Logical methods in combinatorics" funded by MIUR (Italian Ministry of University and Research). For info on past editions see RaTLoCC18, RaTLoCC11, and RaTLoCC09.
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)
The current list of invited speakers is:
Ryan Alweiss (University of Cambridge)
Sam Buss (University of California, San Diego) Michele D'Adderio (Università di Pisa) Noé de Rancourt (Charles University, Prague; TBC) Natasha Dobrinen (University of Notre Dame) Damir Dzhafarov (University of Connecticut) 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 (Università di Pisa) Jaroslav Nešetřil (Charles University, Prague) Ludovic Patey (CNRS, IMJ-PRG-Université Paris Cité) Pavel Pudlák (Mathematical Institute of the Czech Academy of Sciences) Mariaclara Ragosta (Università di Pisa) Salvatore Scamperti (Università di Torino; TBC) Philippe Schnoebelen (LSV, CNRS, ENS Paris-Saclay)
REGISTRATION: The deadline for registrations is ***MONDAY, MAY 13th***. There is no registration fee, but completing the registration form that can be found on the website of the conference is mandatory. We cannot offer grants or accommodation for participation at the conference.
Please notice that all talks will be given by invited speakers, so there will be no contributed talks.
Those who need more information can contact the organizers at: ratlocc24@gmail.com.
We hope to see you in Pisa!
Best regards,
The Organizers
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php