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.
La commissione del premio “Franco Montagna” ha concluso i lavori. Il vincitore è Claudio Agostini. La Commissione ha inoltre assegnato una menzione speciale a Marco Abbadini e Francesco Paolo Gallinaro. La relazione della commissione può essere scaricata al seguente link:
I vincitori del Premio AILA 3+2 per l’anno 2022/23 sono i seguenti. Ludovico Fusco, per la tesi di laurea magistrale dal titolo “Mal’cev products in the general theory of semilattice sums of algebras”. e Francesco Manfucci, per la tesi di laurea triennale dal titolo “Algebre libere in logiche a valori reali”. La commissione ha inoltre …
Il rinnovo delle cariche sociali dell’AILA quest’anno avverrà a distanza tramite votazione a scrutinio segreto sul sito https://heliosvoting.org . In questa pagina verranno raccolte le candidature e verranno pubblicate le notizie riguardanti la votazione. Le candidature sono presentabili fino alle 14:00 dell’22 settembre, tramite un’email a tutti i membri della commissione elettorale. Quest’ultima è composta da: …
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.