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

Seminario WLD

Nell’ambito del Cross-Alps Logic Seminar e in occasione del World Logic Day, il giorno venerdì 13 gennaio 2023, dalle ore 16 alle ore 17, i gruppi di logica delle università di Lausanne, Genova, Torino e Udine avranno ospite Vasco Brattka (Universität der Bundeswehr München) che terrà un seminario dal titolo Some fascinating topics in logic around reducibilities.Il seminario …

Bando contributi scuole e convegni 2023

Al fine di gestire con più efficenza e trasparenza i contributi che l’AILA offre per l’organizzazione di eventi su temi di Logica, per le iniziative che si svolgeranno dal 1 Aprile 2023 al 31 Marzo 2024 le richieste di supporto andranno presentate entro il 28 Febbraio 2023 secondo le modalità descritte nel bando allegato.

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

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)