L’associazione ha come scopo la diffusione dello studio e della conoscenza della logica in tutte le sue forme, l’avanzamento della ricerca e la promozione delle sue applicazioni.
Notizie
World Logic Day 2026
L’AILA, con il patrocinio della SILFS, celebra il World Logic Day 2026 coordinando delle attività divulgative in tutta Italia. Le attività si terranno in varie università sul territorio italiano e in streaming sul canale YouTube dell’associazione. L’AILA, in collaborazione con MaddMaths!, ha preparato alcune attività da proporre a scuola. I materiali sono disponibili qui. L’evento in streaming, sul tema “Logica, …
Bando 2025 Premio AILA “Ada Lettieri”
È disponibile il bando 2025 del premio AILA “Ada Lettieri”, per un articolo o libro su argomenti inerenti la Logica e le sue applicazioni con particolare (ma non esclusivo) riferimento ai temi di maggiore interesse per Ada: logiche a più valori e logiche non classiche. Il premio intende valorizzare le emergenti eccellenze italiane nella ricerca …
Vincitori Premio 3+2 edizione 2025
La commissione del Premio 3+2 ha concluso i lavori. I vincitori del Premio AILA 3+2 per l’anno 2024/25 sono i seguenti. Premio AILA 3+2 Laurea Magistrale: Umberto Tarantino “A category of arrow algebras for modified realizability”. Premio AILA 3+2 Laurea Triennale: Marco Gioiello “Upward and downward modal logics of the generic multiverse”. Borse di studio …
Attività
Attività svolte dall’associazione
Ricerca
L’ AILA e la ricerca logica in Italia
Questa sezione ha lo scopo di informare i soci e il pubblico generale dell’attività di ricerca correlata alla logica in Italia. Si invitano tutti gli interessati, e in particolare i responsabili dei gruppi di ricerca, a contattare il responsabile del sito Aila (segretario [at] ailalogica. it) per rendere le pagine seguenti il più rapprensentative possibile della ricerca logica effettivamente svolta in Italia.
Contenuti
- Gruppi di ricerca
lista dei gruppi (o dipartimenti) di logica attivi in Italia con descrizione dei principali interessi di ricerca e contatto degli eventuali coordinatori. - Tesi recenti
lista dei lavori di tesi recentemente discussi dagli studenti di logica in Italia. Ove concesso dagli autori, gli elaborati saranno liberamente consultabili - Archivio testi
Versioni digitalizzate di Preprint Aila (1990-1996) e Atti degli Incontri di Logica Matematica Volumi 1-6 (1982-1989)