AILA2022: Incontro AILA 2022 Università della Campania Caserta, Italy, September 12-15, 2022 |
Conference website | https://www.ailalogica.it/incontro2022/ |
Submission link | https://easychair.org/conferences/?conf=aila20220 |
Abstract registration deadline | April 30, 2022 |
Submission deadline | April 30, 2022 |
AILA - XXVII Incontro di Logica
Caserta (Italy), 12-15 September 2022
https://www.ailalogica.it/incontro2022/
The Italian Association for Logic and its Application (AILA) organises every three years a meeting that gathers most of Italian researchers studying mathematical, philosophical or computer science related aspects of logic. In 2022 the “Incontro di Logica” will take place in Caserta (Italy). The meetings will feature plenary talks form leading international researchers, invited talks from the recipients of the AILA awards, and contributed talks. Contributions from researchers of any nationality are welcome.
Plenary talks
- Laura Crosilla, University of Oslo
- Nicola Gambino, University of Leeds
- Georg Gottlob, TU Wien
- Vincenzo Mantova, University of Leeds
- Viorica Sofronie-Stokkermans, University of Koblenz-Landau
AILA award recipients
- Filippo Calderoni, University of Illinois at Chicago - Premio Montagna 2019
- Luca Reggio, Oxford University - Premio Lettieri 2019
- Giorgio Laguzzi, University of Freiburg - Premio Gentilini 2019
- Giulio Manzonetto, Université Sorbonne Paris Nord - Premio Gentilini 2020
- Andrea Vaccaro, Université de Paris - Premio Montagna 2021
- Tommaso Moraschini, University of Barcelona - Premio Lettieri 2021
- Giorgio Venturi, Univesidade Estadual de Campinas - Premio Gentilini 2021
- To be awarded - Premio Gentilini 2022
Contributed talks
The Programme Committee of Incontro AILA welcomes submissions of abstracts from any researcher in the world. A list of topics in the scope of the conference includes:
- category theory,
- computability theory,
- model theory,
- logic and computer science,
- logic and philosophy,
- non-classical logics,
- proof theory,
- set theory.
The abstracts must be maximum 2-page long, written in English using the Easychair style. Abstracts can be submitted through the Easychair website
The deadline for submission is the 30th April 2022.
Notifications of acceptance will be sent before the 15th June 2022.
Programme Committee
- Agata Ciabattoni (Technische Universität Wien)
- Marcello D’Agostino (Università di Milano)
- Ugo Dal Lago (Università di Bologna)
- Paola D’Aquino (Università della Campania)
- Vincenzo Dimonte (Università di Udine)
- Guido Gherardi (Università di Bologna)
- Silvio Ghilardi (Università di Milano)
- Sonia L’Innocente (Università di Camerino)
- Luca Paolini (Università di Torino)
- Luca Spada (Università di Salerno)
- Lorenzo Tortora De Falco (Università di Roma 3)
- Matteo Viale (Università di Torino)