Presentazione

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. Essa si riconosce nelle finalità e negli obiettivi della Association for Symbolic Logic.

 

Notizie

Premio AILA-UMI “Franco Montagna” 2023

[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 2020 al 31 dicembre 2023. Il premio è dedicato alla memoria di Franco Montagna. Maggiori dettagli nel bando scaricabile al seguente link: AILA and UMI jointly award …

World Logic Day 2023

L’AILA celebra il World Logic Day 2023 coordinando delle attività divulgative in tutta Italia. Le attività si terranno in varie università sul territorio italiano, qui di seguito saranno inseriti maggiori dettagli appena disponibili. Attenzione: poiché il 14 gennaio 2023 è sabato, le attività si svolgeranno il 13 gennaio 2023. Bologna Padova Palermo Roma Salerno Teramo …

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)