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

Bando Premio “Paolo Gentilini” 2019

L’AILA bandisce un premio di 3000 euro alla memoria di Paolo Gentilini. Ai sensi del Regolamento il Premio è destinato a un giovane che si sia distinto nell’attività di ricerca nella Logica Matematica, con particolare (ma non esclusivo) riferimento agli aspetti sintattici della Logica Matematica e applicazioni di questi alla Didattica della Matematica, all’Informatica ed …

Premio AILA 3+2 2019

Sono aperte le candidature per il premio AILA 3+2 2019.  Saranno premiate le migliori tesi di laurea triennale o magistrale su argomenti di Logica Matematica dell’anno accademico 2017-2018, come precisato nel bando scaricabile al link qui sotto. Si prevedono: fino a 3 premi per tesi di laurea triennale, fino a 3 premi per tesi di …

Premio AILA-UMI “Franco Montagna” 2019

[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 2016 al 31 dicembre 2018.  Il premio è dedicato alla memoria di Franco Montagna.  Maggiori dettagli nel bando scaricabile al seguente link: Bando Premio Montagna 2019 AILA and …

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)