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
Vincitori del Premio AILA 3+2 anno 2024
I vincitori del Premio AILA 3+2 per l’anno 2024 sono i seguenti. Valeria Giustarini, per la tesi di laurea magistrale dal titolo “Free constructions in hoops” e Luca Facchinetti, per la tesi triennale dal titolo “Aspetti e generalizzazioni del teorema di Ramsey”. Sono state assegnate 3 borse per tesi di laurea magistrale: Miriam Marzaioli, Cesare Straffellini, …
Vincitrice Premio “Ada Lettieri” 2023
La commissione del premio ha concluso i suoi lavori. La vincitrice è Marta Fiori Carones per il lavoro intitolato “An inside/outside Ramsey theorem and recursion theory”, di cui Fiori Carones è coautore con Paul Shafer e Giovanni Soldà. Relazione finale edizione 2023
Scuola Estiva di Logica 2024
Sono aperte le iscrizioni alla scuola estiva di logica organizzata dall’AILA in collaborazione con la SILFS. Le iscrizioni chiuderanno il 31 maggio 2024. Per iscriversi visitare il sito della scuola estiva.
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)