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

[gprimiero at libero.it]

 ---------------------------------------- 
LOGIC COLLOQUIUM 2023: THIRD CALL FOR PAPERS 
---------------------------------------- 



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



Meeting website: 
https://lc2023.unimi.it 


 Submission link: 
https://easychair.org/conferences/?conf=lc20230 



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


 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. 



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





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