SEMINAR 2 19. November       (15:00-21:00) 20. November       (09:00-16:00)

19 / 11	Emne	Bogen	Tid
15:00 - 15:30	Repetition	[MK 1+2+3+4]	30'
15:30 - 17:00	Monitors and Condition Synchronization	[MK 5]	90'
17:00 - 18:15	Opgaver i Monitors and Condition Synchronization	[MK 5]	75'
18:15 - 19:15	...spisepause...		60'
19:15 - 20:00	Deadlock	[MK 6]	45'
20:00 - 21:00	Opgaver i Deadlock	[MK 6]	60'

20 / 11	Emne	Bogen	Tid
09:00 - 11:00	Safety and Liveness Properties	[MK 7]	120'
11:00 - 12:15	Opgaver i Properties	[MK 7]	75'
12:15 - 13:15	...spisepause...		60'
13:15 - 14:45	Model-Based Design	[MK 8]	90'
14:45 - 16:00	Opgaver i Model-Based Design	[MK 8]	75'

Claus Brabrand (November 16, 2004)