La Scuola Estiva di Logica 2026 si terrà presso il Villaggio Olimpico di Bardonecchia dal 31 agosto al 5 settembre 2026.

Le lezioni avranno inizio lunedì 31 agosto e si concluderanno venerdì 4 settembre.

Corsi Istituzionali

Logica Algebrica – Serafina Lapenta (Università di Salerno).

l corso si apre con un richiamo delle nozioni fondamentali di algebra universale, necessarie per introdurre il concetto di quasi-varietà di algebre. Si passerà quindi alla definizione di logica a partire dalla nozione di relazione di conseguenza, per poi introdurre e caratterizzare il concetto di logica algebrizzabile. In conclusione, verranno presentati e discussi esempi significativi di logiche algebrizzabili e di logiche che non lo sono.

Teoria della dimostrazione. Teoria dei tipi, Proof Assistants e AI: verso una nuova pratica della matematica – Marino Miculan (Università di Udine).

Negli ultimi decenni la type theory si è affermata come uno dei principali fondamenti alternativi per la matematica e come linguaggio unificante tra logica, informatica teorica e verifica formale. Attraverso l’isomorfismo di Curry–Howard, le dimostrazioni possono essere viste come programmi e le proposizioni come tipi, aprendo la strada ai moderni proof assistants e a nuove modalità di pratica matematica. Il corso introduce i logical frameworks basati sulla type theory, partendo dai fondamenti teorici (λ-calcolo tipato, tipi dipendenti, λ-cubo) fino alle formulazioni contemporanee come la Martin-Löf Type Theory e il Calcolo delle Costruzioni. Accanto alla parte teorica, il corso includerà dimostrazioni pratiche in un proof assistant moderno (Lean o Rocq), mostrando come formalizzare risultati matematici e strutture algebriche elementari. L’ultima parte sarà dedicata all’integrazione tra proof assistants e modelli di Intelligenza Artificiale, discutendo il loro impatto sulla ricerca matematica contemporanea e sulle prospettive future della dimostrazione assistita. Il corso è rivolto a studenti e ricercatori in logica, matematica e informatica teorica interessati ai fondamenti della matematica formale e alle nuove interazioni tra type theory e AI.

Lectio Magistralis

Raphael Carroy (Università di Torino)

Marcello D’Agostino (Università Statale di Milano)

Come partecipare

La quota di iscrizione standard include la partecipazione alla scuola, i coffee break, i pranzi durante la scuola e l’alloggio dal 31 agosto al 4 settembre.

Per i partecipanti al Premio 3+2 il pagamento della quota di iscrizione alla scuola è posticipato fino al termine dei lavori della commissione.

Per informazioni generali scrivere all’indirizzo segretario@ailalogica.it.
Per informazioni riguardo ai pagamenti scrivere all’indirizzo tesoriere@ailalogica.it.