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 2019 Premio Ada Lettieri

È disponibile il bando 2019 del premio AILA “Ada Lettieri”, per un articolo o libro su argomenti inerenti la Logica e le sue applicazioni con particolare (ma non esclusivo) riferimento ai temi di maggiore interesse per Ada: logiche a più valori e logiche non classiche. Il premio intende valorizzare le emergenti eccellenze italiane nella ricerca …

Premio Speciale “Paolo Gentilini” per la Logica Matematica e le sue applicazioni all’Informatica

L’AILA bandisce un premio di 2500 euro per una tesi di dottorato su argomenti inerenti la Logica Matematica e le sue applicazioni all’Informatica. Il Premio è intitolato alla memoria di Paolo Gentilini e intende ricordare il suo interesse appassionato al rapporto tra Logica Matematica e Informatica. Il Premio viene attribuito a un dottore di ricerca …

Premio speciale “Paolo Gentilini” per la Logica Matematica e le sue applicazioni all’Economia

L’AILA (Associazione Italiana di Logica e sue Applicazioni) bandisce un premio di 4000 euro (o equivalente) per un articolo su argomenti inerenti la Logica Matematica e le sue applicazioni all’Economia. Il Premio è intitolato alla memoria di Paolo Gentilini e intende ricordare il suo interesse appassionato al rapporto tra Logica Matematica ed Economia. Il Premio …

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)