Informazioni generali
La Scuola Estiva di Logica 2026 si terrà presso il Villaggio Olimpico di Bardonecchia dal 31 agosto al 5 settembre 2026. Quest’anno la scuola è organizzata in collaborazione con l’associazione Lagrange. Maggiori informazioni possono essere trovate su questa pagina e quella preparata dall’Associazione.
Il Termine delle iscrizioni è il 30 Giugno 2026 (Salvo esaurimento posti).
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)
Programma della Scuola
Il programma preciso sarà pubblicato qui qualche settimana prima della scuola. Sono previste alcune attività sociali durante la scuola. Per partecipare alle attività è necessario prenotarsi tramite la pagina della scuola dell’associazione Lagrange.
Come partecipare
Compilare questo modulo online per iscriversi.
La quota di partecipazione parte da 450€* e comprende:
- Pensione completa in sistemazione alberghiera in camera multipla
- Organizzazione logistica dell’evento
- Copertura di Polizza Assicurativa – Responsabilità Civile per tutta la permanenza di ogni partecipante negli spazi interni della struttura
* Nota Bene: La quota è riferita alla sistemazione per 6 notti in camera multipla. Se si desidera pernottare in camera singola o per più notti le quote vengono calcolate ed esposte all’interno modulo di iscrizione, nella terza sezione “sistemazione alberghiera”.
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.