Timetable

Title Type Location Serial Start End All Day
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 
CCS, CSP and all that & best two TA presentations Presentation 22.11.16 22.11.16 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 
Model Based Testing Presentation E1.3, Room 528 17.01.17 17.01.17 No 
Event Structures Presentation E1.3, Room 528 24.01.17 24.01.17 No 
Process Algebra Presentation E1.3, Room 528 24.01.17 24.01.17 No 
Petri Nets 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 
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