Associazione Italiana di Logica e sue Applicazioni
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.
L’AILA bandisce un concorso per premiare le migliori tesi di laurea triennale e magistrale su argomenti di Logica Matematica dell’anno accademico 2021-2022, come precisato nel bando disponibile al link più in basso. Si prevedono: Le domande di partecipazione saranno accettate fino al 30 aprile 2023.
La relazione sulle attività dell’AILA nel 2022 è scaricabile al seguente link.
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 …
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.