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

Incontro AILA 2022

L’Associazione Italiana per la Logica e le sue Applicazioni (AILA) organizza ogni tre anni un incontro che riunisce la maggior parte dei ricercatori italiani che studiano aspetti matematici, filosofici o informatici della logica. Nel 2022 l’incontro si svolgerà a Caserta. Gli incontri saranno caratterizzati da interventi plenari tenuti da ricercatori internazionali, interventi invitati tenuti dai …

Logic4Peace

L’AILA co-organizza la conferenza online Logic4Peace il cui scopo è offrire sostegno morale e finanziario ai colleghi in Ucraina in questo tempo di guerra.L’ evento viene utilizzato per raccogliere aiuti finanziari per due cause specifiche:Aiutare finanziariamente i colleghi delle università in Ucraina che hanno urgente bisogno finanziario a causa degli eventi bellici e sostenere il …

World Logic Day 14 gennaio 2022

Mancano pochi giorni al World Logic Day 2022. Per celebrare l’occasione l’AILA organizza un incontro-dibattito in streaming. Ore 17.00 Le facce della logica a confronto Melissa Antonelli, Ivano Ciardelli, Marcello D’Agostino, Brunella Gerla: quattro ricercatori specializzati in quattro campi diversi della Logica e provenienti da discipline diverse: matematica, informatica, filosofia. Con loro dialogheranno gli allievi …

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)