Timetable

Title	Type	Location	Start	End	All Day
Write-up Final Deadline	Deadline		31.03.17	31.03.17	No
Write-up Draft Deadline	Deadline		14.02.17	N/A	Yes
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
Spectral Analysis	Presentation	E1.3, Room 528	28.01.17	28.01.17	No
Review Deadline	Deadline		07.03.17	07.03.17	No
Process Algebra	Presentation	E1.3, Room 528	24.01.17	24.01.17	No
Probabilistic Timed Automata	Presentation	E1.3, Room 528	31.01.17	31.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
Petri Nets	Presentation	E1.3, Room 528	28.01.17	28.01.17	No
Model Based Testing	Presentation	E1.3, Room 528	17.01.17	17.01.17	No
Kick-Off Meeting	Kick-Off	Building E1.3, Room 528	25.10.16	25.10.16	No
Interface Automata	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
Event Structures	Presentation	E1.3, Room 528	24.01.17	24.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
Bisimulation Minimization	Presentation	E1.3, Room 528	28.01.17	28.01.17	No

Advanced Concurrency Theory