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
Bando Premi “Paolo Gentilini” 2026
L’AILA bandisce due premi di 2500 euro alla memoria di Paolo Gentilini. I Premi sono destinati a giovani che si siano distinti nell’attività di ricerca nella Logica Matematica, con particolare (ma non esclusivo) riferimento agli aspetti sintattici della Logica Matematica e applicazioni di questi alla Didattica della Matematica, all’Informatica, all’Economia e all’ambito biomedico. È ammesso …
Vincitrice Premio AILA-UMI “Franco Montagna” 2025
La commissione del premio “Franco Montagna” ha concluso i lavori. La vincitrice è Martina IANNELLA. La Commissione ha inoltre assegnato una menzione speciale a Salvatore SCAMPERTI e Juan Manuel SANTIAGO SUÀREZ. La relazione della commissione può essere scaricata al seguente link: dowload verbale
Supporto alla Proposta di revisione delle nuove Indicazioni Nazionali 2025
L’AIRDM – Associazione Italiana di Ricerca in Didattica della Matematica – ha recentemente elaborato una proposta di revisione delle nuove Indicazioni Nazionali 2025, diffuse dal MIM. L’AILA esprime il proprio sostegno a questa proposta. Il documento riepilogativo delle osservazioni è disponibile a questo link. Maggiori informazioni ed eventuali aggiornamenti della proposta possono essere reperite sul …
Leggi tutto “Supporto alla Proposta di revisione delle nuove Indicazioni Nazionali 2025”
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)