Gruppo ricerca prof.ssa Sapino M.L.
Holides - Progetto Artemis - Responsabile Botta
- Teacher: Marco Botta
- Teacher: Susanna Donatelli
Work Package 5 - Paraphrase
- Teacher: Marco Aldinucci
E-Business Lab
- Teacher: Mauro Giraudo
- Teacher: Marco Pironti
- Teacher: Paola Maria Pisano
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
Qmips Research Group
- Teacher: Alessio Angius
- Teacher: Susanna Donatelli