9 October, 2017    -    15 October, 2017 (Week 41)
Department Calendar

  Mon
Oct 9
Tue
Oct 10
Wed
Oct 11
Thu
Oct 12
Fri
Oct 13
Sat
Oct 14
Sun
Oct 15
8:00am              
9:00am              
10:00am              
11:00am              
12:00pm              
1:00pm              
2:00pm              
3:00pm     3:30pm» Title: Formal methods for timed, concurrent and probabilistic systems
       
4:00pm              
5:00pm              
6:00pm     6:00pm» Title: What is Research?
       
[Printer Friendly]