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