2nd Call for Papers: LOGIC COLLOQUIUM 2023, University of Milan (Italy)

gprimiero at libero.it gprimiero at libero.it
Mon Feb 13 05:40:32 EST 2023


European Summer Meeting of the Association for Symbolic Logic 
University of Milan, Italy 
5 June - 9 June 2023 

Meeting website: 

 Submission link: 


 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. 


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 


 The deadline for contributed talk submissions and for student travel grants applications is March 1, 2023. 


 Abstracts for contributed talks should conform to the Rules for Abstracts of the ASL, and should be submitted via EasyChair: 


 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 


 To be considered for a travel award, please 

 1. send a letter of application, and 
2. ask your thesis supervisor to send a brief recommendation letter. 

 Your application letter should be brief (preferably one page) and should include: 

 1. your name; 
2. your home institution; 
3. your thesis supervisor’s name; 
4. a one-paragraph description of your studies and work in logic, and a paragraph indicating why 
it is important to attend the meeting; 
5. your estimate of the travel expenses you will incur; 
6. (for citizens or residents of the USA) citizenship or visa status; and 
7. (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 at 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. 


 - 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) 


 - Floris van Doorn (Mathematics Department, Université Paris-Saclay) 

 - Itay Kaplan (Einstein Institute of Mathematics, Hebrew University of Jerusalem, Israel) 


 - 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) 


 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) 


 - 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) 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20230213/1017163b/attachment-0001.html>

More information about the FOM mailing list