Timetable

Title Type Location Serial 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 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators