This is a permanent page devoted to collecting and spreading abstracts,
slides, drafts and videos concerning seminars given to the Formal
methods group in Turin. It reflects the group interests in
lambda-calculus, type theory, computability theory, logics and related
topics that are the foundations of programming languages and of formal
methods to specify and prove properties of programs and systems.
- Teacher: Marco Aldinucci
- Teacher: Stefano Berardi
- Teacher: Viviana Bono
- Teacher: Sara Capecchi
- Teacher: Felice Cardone
- Teacher: Mario Coppo
- Teacher: Ferruccio Damiani
- Teacher: Ugo De' Liguoro
- Teacher: Mariangiola Dezani
- Teacher: Luca Padovani
- Teacher: Luca Luigi Paolini
- Teacher: Simonetta Ronchi Della Rocca
- Teacher: Luca Roversi