Timetable

Title	Type	Location	Start	End	All Day
Write-up Draft Deadline	Deadline		14.02.17	N/A	Yes
Casting	Casting	E1.3, Raum 528	15.11.16	15.11.16	No
CCS, CSP and all that & best two TA presentations	Presentation		22.11.16	22.11.16	No
Model Based Testing	Presentation	E1.3, Room 528	17.01.17	17.01.17	No
Interface Automata	Presentation	E1.3, Room 528	28.01.17	28.01.17	No
Bisimulation Minimization	Presentation	E1.3, Room 528	28.01.17	28.01.17	No
Hybrid Automata	Presentation	E1.3, Room 528	31.01.17	31.01.17	No
Probabilistic Timed Automata	Presentation	E1.3, Room 528	31.01.17	31.01.17	No
Spectral Analysis	Presentation	E1.3, Room 528	28.01.17	28.01.17	No
Value Passing Semantics	Presentation	E1.3, Room 528	28.01.17	28.01.17	No
Stochastic Automata	Presentation	E1.3, Room 528	28.01.17	28.01.17	No
Petri Nets	Presentation	E1.3, Room 528	28.01.17	28.01.17	No
Priced and Energy Timed Automata	Presentation	E 1.3, Room 528	10.01.17	10.01.17	No
Process Algebra	Presentation	E1.3, Room 528	24.01.17	24.01.17	No
Event Structures	Presentation	E1.3, Room 528	24.01.17	24.01.17	No
Probabilistic Automata and PCCS	Presentation	E1.3, Room 528	17.01.17	17.01.17	No
Write-up Final Deadline	Deadline		31.03.17	31.03.17	No
Kick-Off Meeting	Kick-Off	Building E1.3, Room 528	25.10.16	25.10.16	No
Review Deadline	Deadline		07.03.17	07.03.17	No

Advanced Concurrency Theory