The LUCI (Logic, Uncertainty, Computation and Information) Group  presents

Logic Colloquium 2023

European Summer Meeting of the Association for Symbolic Logic

5 June - 9 June

lc2023.unimi.it

Conference venue: Università degli Studi di Milano / University of Milan
Via Festa del Perdono, 7, 20122 Milano MI
Rooms 208, 302, 304, 309, 311, 400

Topics of interest include:

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

Invited Speakers

• Gal Binyamini - Weizmann Institute of Science, Israel
• Igor Carboni Oliveira - Department of Computer Science University of Warwick, UK
• 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, Germany
• Zoltán Vidnyánszky - Institute of Mathematics, Eotvos University, Hungary
   

Download the Book of abstract PDF

Download the Schedule PDF

Sponsor

Association for Symbolic Logic

Dipartimento di Filosofia "Piero Martinetti" - Università degli Studi di Milano

Dipartimento di Matematica "Federigo Enriques" - Università degli Studi di Milano

Dipartimento di Informatica "Giovanni Degli Antoni" - Università degli Studi di Milano

Associazione Italiana di Logica e sue Applicazioni