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

Thu Feb 23 04:33:12 EST 2023

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

 - Computability Theory 
- Logic in Computer Science 
- Model Theory 
- Philosophical Logic 
- Proof Theory 
- Set Theory 

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

 - Applied Proof Theory (organized by B. Dinis and T. Powell). Invited speakers: Horațiu Cheval (University of Bucharest, Romania), and Nicholas Pischke (Technical University of Darmstadt, Germany) 

 - Computability (organized by V. Brattka and K. Lange). Invited speakers: T.B.A. 

 - Logic and Computation (organized by S. Buss and L. Kołodziejczyk). Invited speakers: Anupam Das (University of Birmingham, UK), Ján Pich (University of Oxford, UK), and Robert Robere (McGill University, Canada) 

 - Logic and Philosophy (organized by L. Crosilla and A. M. Klev). Invited speakers: Carolin Antos (University of Konstanz, Germany), Luca Tranchini (University of Tübingen, Germany), and Jack Woods (University of Leeds, UK) 

 - Model Theory (organized by J. Freitag and M. Hils). Invited speakers: T.B.A. 

 - Set Theory (organized by O. Ben-Neria and S. Müller). Invited speakers: Takehiko Gappo (TU Wien, Austria), Andreas Lietz (WWU Münster, Germany), and Zhixing You (Bar-Ilan University, Israel) 

--------------- 
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) 
- Esther Corsi (Philosophy, Università di Milano) 
- Marcello D’Agostino (Philosophy, Università di Milano) 
- Francesca Doneda (Philosophy, Università di Milano) 
- Giovanni Duca (Philosophy, Università di Milano) 
- Camillo Fiorentini (Computer Science, Università di Milano)ˆ 
- Miriam Franchella (Historical Studies, Università di Milano) 
- Francesco A. Genco (Philosophy, Università di Milano) 
- Silvio Ghilardi (Mathematics, Università di Milano) 
- Hykel Hosni (Philosophy, Università di Milano) 
- Ekaterina Kubyshkina (Philosophy, Università di Milano) 
- Costanza Larese (Philosophy, Università di Milano) 
- Lorenzo Luperi Baglini (Mathematics, Università di Milano) 
- Chiara Manganini (Philosophy, Università di Milano) 
- Vincenzo Marra (Mathematics, Università di Milano) 
- Alberto Momigliano (Computer Science, Università di Milano) 
- Giuseppe Primiero (Philosophy, Università di Milano, Local Chair) 
- Alberto Termine (Philosophy, Università di Milano) 

--------------- 
SPONSORED BY 
--------------- 

- Dipartimento di Filosofia "Piero Martinetti", Università degli studi di Milano 
- ASL (Association for Symbolic Logic) 
- Dipartimento di Matematica "Federigo Enriques", Università degli studi di Milano 
- Dipartimento di Studi Storici, Università degli studi di Milano 
- Dipartimento di Informatica, Università degli studi di Milano 
- INDAM (Istituto Nazionale di Alta Matematica "Francesco Severi") 
- BRIO (Bias, Risk, Opacity in AI: Design, Verification and Development of Trustworthy AI), research project funded by MUR under the PRIN Scheme (Project no. 2020SSKZ7R) 
- AILA (Associazione Italiana di Logica e sue Applicazioni) 
- HaPoC (Commission for the History and Philosophy of Computing) 
- SILFS (Italian Society for Logic and the Philosophy of Science) 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20230223/8bab38cc/attachment.html>