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
Vincitore del Premio “Ada Lettieri” 2025
La commissione ha concluso i suoi lavori ed il vincitore è il dott. Marco Abbadini con l’articolo:Stone-Gelfand duality for metrically complete lattice-ordered groups. Advances in Mathematics, 461:110067 (2025).di cui è co-autore con Vincenzo Marra e Luca Spada. La commissione ha inoltre assegnato due menzioni a: Relazione finale della commissione.
Incontro AILA 2026
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 …
Vincitori dei Premi “Paolo Gentilini” 2026
La commissione del premio ha concluso i suoi lavori. I vincitori sono Marco Abbadini e Laura Bussi. Relazione finale edizione 2026
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)