| 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 |
|
