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
World Logic Day 2025
L’AILA, con il patrocinio della SILFS, celebra il World Logic Day 2025 coordinando delle attività divulgative in tutta Italia. Le attività si terranno in varie università sul territorio italiano e in streaming sul canale YouTube dell’associazione. Seguono i dettagli dell’evento in streaming. Logica a 360°: dialoghi tra arte, scienza e lavoro – modera Silvia Pittarello …
Premio AILA-UMI “Franco Montagna” – edizione 2025
[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 2022 al 31 dicembre 2024. Il premio è dedicato alla memoria di Franco Montagna. Maggiori dettagli nel bando scaricabile al seguente link: Bando Premio Montagna 2025 AILA …
Leggi tutto “Premio AILA-UMI “Franco Montagna” – edizione 2025″
Regolamento finanziamento congressi 2025
L’AILA (Associazione Italiana di Logica e sue Applicazioni) rende disponibile annualmente un fondo per supportare l’organizzazione di scuole e convegni di Logica che si svolgano in Italia nel periodo 01 Aprile 2025 – 31 Marzo 2026. A tal fine rende disponibile un importo totale di 1000 euro (mille/00) da ripartire tra le domande giudicate idonee. …
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)