Timetable

Title Type Location Serial Start End All Day
Bisimulation Minimization 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 
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 
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 
Write-up Draft Deadline Deadline 14.02.17 N/A Yes 
Review Deadline Deadline 07.03.17 07.03.17 No 
Write-up Final Deadline Deadline 31.03.17 31.03.17 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators