This time table is tentative, and may be subject to change.
Every week there is also an 1.5 hours of consultation. Dates will be anounced in the lectures.
The dates are tenative; in the first session we can decide to move some dates, with input from students.

Date (tentative) Room Type Contents (tbc) Slides/Notes
1 17/01, 10:45—12:30
17/01, 15:45—17:30
19/01, 10:45—12:30
 
19/01, 13:45—14:30
CR2L
CR2N
HB2D
 
CR2N
lecture
lab
lecture
 
tutorial
introduction, challenges, process algebra AWN
modelling(1)
modelling(1): process algebra AWN, Part II
 
 
Lecture 1
Lab
Lecture 2
text on SOS
Exercise 1
2 23/01, 13:45—15:30
23/01, 15:45—17:30
26/01, 13:45—15:30
26/01, 15:45—16:30
HB2D
HB2D
HB2D
HB2D
lecture
lab
lecture
lab
case study: AODV, verification (1)
modelling(2)
timed automata, Uppaal, AWN2Uppaal
modelling(3)
Lecture 3
 
Lecture 4
 
3 01/02, 13:45—15:30
01/02, 15:45—17:30
02/02, 13:45—15:30
02/02, 15:45—16:30
CR2N
CR2N
CR2N
CR2N
lecture
lab
lecture
lab
verification, progess, fairness
modelling
mechanised verification: Isabelle/HOL
verification?
Lecture 5
 
Lecture 6
 
4 06/02, 13:45—15:30
06/02, 15:45—16:30
07/02, 9:00—
3334
3334
Zi-6063
lecture
lab
oral exam
open problems, Q&A


Lecture 7

 
5—7 5 hours/week practical component individual project


Copyright 2017