L’Associazione Italiana per la Logica e le sue Applicazioni (AILA) organizza ogni tre anni un incontro che riunisce la maggior parte dei ricercatori italiani che studiano aspetti matematici, filosofici o informatici della logica. Nel 2026 l’incontro si svolgerà a Roma.
Gli incontri saranno 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”)
Da assegnare – Premio Lettieri 2025
Da assegnare – Premio Gentilini 2026
Da assegnare – Premio 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.