Timetable

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