FIRST CALL FOR PAPERS ASL Logic Colloquium 2023 (Milan, 5-9 June, 2023)

Thu Dec 1 03:00:11 EST 2022

-------------------------------------------- 
LOGIC COLLOQUIUM 2023: First 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. 

 Recent previous 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 are welcome and we will do our best to make this event hybrid, 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) 

 - Nicola Gambino (Department of Mathematics, University of Manchester, UK) 

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

 - Igor Carboni Oliveira (Department of Computer Science, University of Warwick, UK) 

 - Zoltán Vidnyánszky (Institute of Mathematics, Eotvos University, Hungary) 

 - Gabriel Goldberg (Mathematics, UCBerkeley, USA) 

 - Johanna Franklin (Department of Mathematics, Hofstra University, USA) 

 ---------------- 
TUTORIAL SPEAKERS 
---------------- 

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

 MORE TUTORIAL SPEAKERS T.B.A. 

---------------- 
SPECIAL SESSIONS 
---------------- 

 Logic Colloquium 2023 will feature 6 special sessions, the topics of which are to be announced. 

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20221201/c9d51b27/attachment-0001.html>