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.

Notizie

Regolamento finanziamento congressi 2025

L’AILA (Associazione Italiana di Logica e sue Applicazioni) rende disponibile annualmente un fondo per supportare l’organizzazione di scuole e convegni di Logica che si svolgano in Italia nel periodo 01 Aprile 2025 – 31 Marzo 2026. A tal fine rende disponibile un importo totale di 1000 euro (mille/00) da ripartire tra le domande giudicate idonee. …

Vincitori del Premio AILA 3+2 anno 2024

I vincitori del Premio AILA 3+2 per l’anno 2024 sono i seguenti. Valeria Giustarini, per la tesi di laurea magistrale dal titolo “Free constructions in hoops” e Luca Facchinetti, per la tesi triennale dal titolo “Aspetti e generalizzazioni del teorema di Ramsey”. Sono state assegnate 3 borse per tesi di laurea magistrale: Miriam Marzaioli, Cesare Straffellini, …

Vincitrice Premio “Ada Lettieri” 2023

La commissione del premio ha concluso i suoi lavori. La vincitrice è Marta Fiori Carones per il lavoro intitolato “An inside/outside Ramsey theorem and recursion theory”, di cui Fiori Carones è coautore con Paul Shafer e Giovanni Soldà. Relazione finale edizione 2023

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)