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 …

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)