Timetable

Title Type Location Serial Start End All Day
Write-up Draft Deadline Deadline 14.02.17 N/A Yes 
Review Deadline Deadline 07.03.17 07.03.17 No 
CCS, CSP and all that & best two TA presentations Presentation 22.11.16 22.11.16 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 
Casting Casting E1.3, Raum 528 15.11.16 15.11.16 No 
Priced and Energy Timed Automata Presentation E 1.3, Room 528 10.01.17 10.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 
Bisimulation Minimization 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 
Probabilistic Automata and PCCS 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 
Model Based Testing Presentation E1.3, Room 528 17.01.17 17.01.17 No 
Hybrid Automata Presentation E1.3, Room 528 31.01.17 31.01.17 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators