Course on

Formal Methods for Interactive Systems


Course Schedule


All lectures will be held in Room 352 DC (Sala Seminari Ovest)

Thursday 8 February, 10:00-12:00

Friday 9 February, 10:00-12:00

Tuesday 13 February, 15:00-17:00

Thursday 15 February, 10:00-12:00
Lecturer: Fabio Paternò

Friday 16 February, 15:00-17:00

Thursday 22 February, 10:00-12:00

Friday 23 February, 10:00-12:00
Lecturer: Fabio Paternò

Tuesday 27 February, 15:00-17:00

Thursday 1 March, 10:00-12:00

Friday 2 March, 10:00-12:00

Created: Fri Feb 23 12:46:52 CET 2007 Feedback
Updated: Fri Feb 23 12:46:52 CET 2007