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
Premio AILA-UMI “Franco Montagna” – edizione 2027
[English follows Italian] L’AILA e l’UMI bandiscono congiuntamente un premio per la migliore tesi di dottorato in logica matematica e sue applicazioni, discussa nel triennio dal 1 gennaio 2024 al 31 dicembre 2026. Non è consentita la candidatura a chi ha già partecipato all’edizione precedente. Il premio è dedicato alla memoria di Franco Montagna. Maggiori …
Leggi tutto “Premio AILA-UMI “Franco Montagna” – edizione 2027″
Risultato delle votazioni online del 17-18 settembre 2026
l’Assemblea del 17 e 18 settembre 2026, con la votazione sul rinnovo delle cariche sociali, si è conclusa. Hanno votato 110 soci (con diritto di voto) su 130 soci (con diritto di voto). Il risultato dello spoglio è il seguente: Presidente: Matteo Viale 101 Consiglio Direttivo: Sara Negri 55Luca San Mauro 49Paolo Pistone 46Lorenzo Tortora …
Leggi tutto “Risultato delle votazioni online del 17-18 settembre 2026”
Vincitori Premio 3+2 edizione 2026
La commissione del Premio 3+2 ha concluso i lavori. I vincitori del Premio AILA 3+2 per l’anno 2025/26 sono i seguenti. Premio AILA 3+2 Laurea Magistrale: Federico Pisciotta con la tesi dal titolo “Automorphism groups of structures with Lascar Property”. Premio AILA 3+2 Laurea Triennale: Massimo Gasparini con la tesi dal titolo “Universi non standard …
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)