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

Supporto alla Proposta di revisione delle nuove Indicazioni Nazionali 2025

L’AIRDM – Associazione Italiana di Ricerca in Didattica della Matematica – ha recentemente elaborato una proposta di revisione delle nuove Indicazioni Nazionali 2025, diffuse dal MIM. L’AILA esprime il proprio sostegno a questa proposta. Il documento riepilogativo delle osservazioni è disponibile a questo link. Maggiori informazioni ed eventuali aggiornamenti della proposta possono essere reperite sul …

Scuola Estiva di Logica 2025

Sono aperte le iscrizioni alla Scuola Estiva di Logica 2025. Quest’anno la scuola si terrà presso il campus dell’Università di Studi di Salerno. Per maggiori informazioni visitare la pagina della scuola Le iscrizioni chiuderanno improrogabilmente il 10 maggio 2025.

Premio AILA 3+2 (a.a. 2023/24)

L’AILA bandisce un concorso per premiare le migliori tesi di laurea triennale e magistrale su argomenti di Logica Matematica dell’anno accademico 2023-2024, come precisato nel bando disponibile al link più in basso.  Si prevedono: Le domande di partecipazione saranno accettate fino al 30 aprile 2025. Bando Premio 3+2 edizione 2025

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)