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

Comunicato per Tuna Altınel

(English text follows the Italian one) Tuna Altınel, matematico turco, esperto di teoria dei modelli dei gruppi, professore presso l’università di Lyon 1, l’11 Maggio 2019, è stato arrestato in Turchia in occasione di un suo rientro in patria.Le autorità turche lo accusano di propaganda terrorista. Altınel fa parte degli “universitari per la pace” che …

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 …

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)