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
Incontro AILA 2024
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 2024 l’incontro si svolgerà ad Udine.Gli incontri saranno caratterizzati da interventi plenari tenuti da ricercatori internazionali, interventi invitati tenuti dai vincitori …
Vincitori dei Premi AILA “Paolo Gentilini” 2024
La commissione del premio ha concluso i suoi lavori. I vincitori sono Martino Lupini e Alessandro Vignati. La Commissione ha inoltre assegnato una menzione speciale a Sara Ugolini. Relazione finale edizione 2024
Relazione sulle attività dell’AILA nel 2023
La relazione sulle attività dell’AILA nel 2023 è scaricabile in basso.
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)