Timetable

Title	Type	Location	Start	End	All Day
Write-up Final Deadline	Deadline		31.03.17	31.03.17	No
Review Deadline	Deadline		07.03.17	07.03.17	No
Write-up Draft Deadline	Deadline		14.02.17	N/A	Yes
Probabilistic Timed Automata	Presentation	E1.3, Room 528	31.01.17	31.01.17	No
Hybrid Automata	Presentation	E1.3, Room 528	31.01.17	31.01.17	No
Stochastic Automata	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
Spectral Analysis	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
Interface 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
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
Model Based Testing	Presentation	E1.3, Room 528	17.01.17	17.01.17	No
Probabilistic Automata and PCCS	Presentation	E1.3, Room 528	17.01.17	17.01.17	No
Priced and Energy Timed Automata	Presentation	E 1.3, Room 528	10.01.17	10.01.17	No
CCS, CSP and all that & best two TA presentations	Presentation		22.11.16	22.11.16	No
Casting	Casting	E1.3, Raum 528	15.11.16	15.11.16	No
Kick-Off Meeting	Kick-Off	Building E1.3, Room 528	25.10.16	25.10.16	No

Advanced Concurrency Theory