Course on

Formal Methods for Interactive Systems

Seminar Schedule

All seminars will be held in Room 351 DC (Sala Seminari Est)

Friday 13 April, 10:00-12:00 (Seminar S-1)

Full Operator Choice Model for an Air Traffic Control System: Andrea Lorenzani (Slides) and Thaizel Fuentes Martinez (Slides)
Reading Materials: Paper 1 | Paper 2 | Paper 3

Friday 13 April, 12:00-13:00 (Seminar S-6)

Toward a Truly Usable Calculator: Marco Di Benedetto
Reading Materials: Paper 1 | Paper 2 | Paper 3 | Websites on calculators and computer algebra

Friday 13 April, 15:00-16:00 (Seminar S-3)

Theorem Proving and Informal Reasoning for Usability Studies: Luis Pérez Sánchez
Reading Materials: Paper 1 | Paper 2 | Paper 3

Created: Fri Feb 23 12:46:52 CET 2007	Feedback
Updated: Thu May 24 03:24:10 CET 2007