European Summer Meeting of the Association for Symbolic Logic
University of Milan, Italy
5 June – 9 June 2023
Meeting website:
https://lc2023.unimi.it
GENERAL INFORMATION
LOGIC COLLOQUIUM is the European Summer Meeting of the Association for Symbolic Logic (ASL) – https://aslonline.org – an international organization supporting research and critical studies in logic. LOGIC COLLOQUIUM is a venue for all researchers working in logic from computer science, mathematics, and philosophy.
Previous recent editions of LOGIC COLLOQUIUM have taken place in Reykjavik (Iceland) 2022, Poznań (Poland) 2021, Prague (Czech Republic) 2019, Udine (Italy) 2018, and Stockholm (Sweden) 2017.
IMPORTANT DATES
Deadline for Abstract Submission and Student Travel Grants: 1st of March
Notifications of Abstract Acceptance: 3rd of April
Decision on Travel Grants: 5th of April
Deadline for Early Registration: 1st of May
Registration Closing: 15th of May
Start of the Conference: 5th of June
End of the Conference: 9th of June
CALL FOR PAPERS
The deadline for contributed talk submissions and for student travel grants applications is March 1, 2023.
CONTRIBUTED TALKS
Abstracts for contributed talks should conform to the Rules for Abstracts of the ASL, and should be submitted via EasyChair:
https://easychair.org/conferences/?conf=lc20230
Online contributed talks will be facilitated in case of necessity, although we of course encourage you to come to Milan to meet the community.
Topics of interest include:
- Set Theory
- Proof Theory
- Model Theory
- Computability Theory
- Philosophical Logic
- Logic in Computer Science
STUDENT TRAVEL GRANTS
To be considered for a travel award, please
- send a letter of application, and
- ask your thesis supervisor to send a brief recommendation letter.
Your application letter should be brief (preferably one page) and should include:
- your name;
- your home institution;
- your thesis supervisor’s name;
- a one-paragraph description of your studies and work in logic, and a paragraph indicating why
it is important to attend the meeting; - your estimate of the travel expenses you will incur;
- (for citizens or residents of the USA) citizenship or visa status; and
- (voluntary) indication of your gender and minority status. Women and members of minority groups are strongly encouraged to apply.
Travel grant applications are accepted from students and also from recent Ph.D. recipients, until the deadline of March 1, 2023, and ASL membership is not required.
Applications should be submitted via email to asl@uconn.edu or to the ASL Business Office:
ASL, Dept. of Mathematics,
Univ. of Connecticut,
341 Mansfield Road,
U-1009, Storrs, CT 06269-1009, USA.
Decisions will be communicated at least two months prior to the meeting.
INVITED SPEAKERS
- Gal Binyamini (Weizmann Institute of Science, Israel)
- Igor Carboni Oliveira (Department of Computer Science, University of Warwick, UK)
- Johanna Franklin (Department of Mathematics, Hofstra University, USA)
- Nicola Gambino (Department of Mathematics, University of Manchester, UK)
- Gabriel Goldberg (Mathematics, UC Berkeley, USA)
- Martino Lupini (Department of Mathematics, University of Bologna, Italy)
- Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne, CNRS, Institut d’Histoire et de Philosophie des Sciences et des Techniques, France)
- Viorica Sofronie-Stokkermans (Institut für Informatik, University Koblenz-Landau, Germany)
- Zoltán Vidnyánszky (Institute of Mathematics, Eotvos University, Hungary)
TUTORIALS
- Floris van Doorn (Mathematics Department, Université Paris-Saclay)
- Itay Kaplan (Einstein Institute of Mathematics, Hebrew University of Jerusalem, Israel)
SPECIAL SESSIONS
- Model Theory (organized by J. Freitag and M. Hils)
- Logic and Computation (organized by S. Buss and L. Kołodziejczyk)
- Set Theory (organized by S. Müller and O. Ben-Neria)
- Logic and Philosophy (organized by L. Crosilla and A. M. Klev)
- Computability (organized by K. Lange and V. Brattka)
- Applied Proof Theory (organized by T. Powell and B. Dinis)
PROGRAM COMMITTEE
Contributed papers will be selected from the received submissions by the following program committee:
- Matthias Aschenbrenner (University of Wien)
- Paola D’Aquino (Chair, Università della Campania “L. Vanvitelli”)
- Jan Krajicek (Charles University, Prague)
- Aleksandra Kwiatkowska (Munster University and Wroclaw University)
- Paulo Oliva (Queen Mary University of London)
- Arno Pauly (Swansea University)
- Giuseppe Primiero (Università di Milano)
- Philip Welch (Bristol University)
ORGANIZING COMMITTEE
- Stefano Aguzzoli (Computer Science, Università di Milano)
- Marcello D’Agostino (Philosophy, Università di Milano)
- Camillo Fiorentini (Computer Science, Università di Milano)
- Miriam Franchella (Historical Studies, Università di Milano)
- Silvio Ghilardi (Mathematics, Università di Milano)
- Hykel Hosni (Philosophy, Università di Milano)
- Lorenzo Luperi Baglini (Mathematics, Università di Milano)
- Vincenzo Marra (Mathematics, Università di Milano)
- Alberto Momigliano (Computer Science, Università di Milano)
- Giuseppe Primiero (Philosophy, Università di Milano, Local Chair)
- Ekaterina Kubyshkina (Philosophy, Università di Milano)
- Francesco Genco (Philosophy, Università di Milano)
- Francesca Doneda (Philosophy, Università di Milano)
- Chiara Manganini (Philosophy, Università di Milano)
- Costanza Larese (Philosophy, Università di Milano)
- Esther Corsi (Philosophy, Università di Milano)
- Giovanni Duca (Philosophy, Università di Milano)
- Alberto Termine (Philosophy, Università di Milano)