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

Aggiornamento del sito dell’AILA

Il sito dell’AILA è stato appena aggiornato.  Il sito ora ha una nuova veste grafica e un semplice sistema di gestione. La vecchia versione rimarrà per qualche tempo raggiungibile all’indirizzo: http://logica.dipmat.unisa.it/aila/ Ogni commento è benvenuto.

AILA statement on the trials held in Turkey against the signatories of the Academics for Peace Petition

The Italian Association of Logic and its Applications is deeply worried by the dire violations of academic freedom and freedom of speech reached in Turkey. We look with grave concern to the criminal and disciplinary investigations that are being maintained against the signatories to the January 11 Academics for Peace Petition. We express solidarity and …

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)