Timetable

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

Advanced Concurrency Theory