Il XXIX Incontro di Logica AILA 2026 si terrà a Roma, 15-18 settembre 2026.
L’Associazione organizza ogni due anni un incontro che riunisce la maggior parte dei ricercatori italiani che studiano aspetti matematici, filosofici o informatici della logica.
L’incontro sarà caratterizzati da interventi plenari tenuti da ricercatori internazionali, interventi invitati tenuti dai vincitori dei premi AILA e contributed talk. I contributi di ricercatori di qualsiasi nazionalità sono benvenuti.
Pagine web dell’Incontro di Logica
Interventi Plenari
Vito Michele Abrusci (Università Roma Tre)
Alessandro Berarducci (Dipartimento di Matematica, Università di Pisa)
Giuseppe De Giacomo (Dipartimento di Ingegneria Informatica, Automatica e Gestionale, Sapienza Università di Roma)
Su Gao (Nankai University, Tianjin, Cina)
Luca Incurvati (Institute for Logic, Language and Computation, University of Amsterdam)
Alexis Saurin (IRIF, CNRS–Université Paris Cité)
Giovanni Soldà (Ghent University)
Sara Ugolini (IIIA-CSIC, Barcellona)
Vincitori premi AILA
Martina Iannella – TU Wien, Premio AILA-UMI “Franco Montagna” 2025
Marco Abbadini (UC Louvain) – Premio “Paolo Gentilini” 2026 & Premio “Ada Lettieri” 2025
Laura Bussi (University of Pisa) – Premio “Paolo Gentilini” 2026 – track biomedica
Altri Interventi
La presentazione di abstract da parte di qualunque ricercatore nel mondo è benvenuta. Un elenco di argomenti nell’ambito della conferenza include:
- category theory,
- computability theory,
- model theory,
- logic and computer science,
- logic and philosophy,
- non-classical logics,
- proof theory,
- set theory.
Gli abstract devono essere lunghi 2-4 pagine, scritti in inglese usando lo stile Easychair: https://easychair.org/publications/for_authors
Gli abstract possono essere inviati attraverso Easychair:
https://easychair.org/conferences/?conf=aila2026
Il termine ultimo per la presentazione è il 30 aprile 2026.
Le notifiche di accettazione saranno inviate prima del 15 giugno 2026.