Event Categories
- Name
- Presentation
- Farbe
- Blue
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| CCS, CSP and all that & best two TA presentations | Scheduled | 22.11.2016 08:45 | 22.11.2016 09:45 | No |
|
| Model Based Testing | Scheduled | 17.01.2017 09:15 | 17.01.2017 10:00 | No |
|
| Interface Automata | Scheduled | 28.01.2017 09:55 | 28.01.2017 10:40 | No |
|
| Bisimulation Minimization | Scheduled | 28.01.2017 10:40 | 28.01.2017 11:20 | No |
|
| Hybrid Automata | Scheduled | 31.01.2017 08:30 | 31.01.2017 09:15 | No |
|
| Probabilistic Timed Automata | Scheduled | 31.01.2017 09:15 | 31.01.2017 10:00 | No |
|
| Spectral Analysis | Scheduled | 28.01.2017 13:00 | 28.01.2017 13:45 | No |
|
| Value Passing Semantics | Scheduled | 28.01.2017 13:45 | 28.01.2017 14:30 | No |
|
| Stochastic Automata | Scheduled | 28.01.2017 14:30 | 28.01.2017 15:15 | No |
|
| Petri Nets | Scheduled | 28.01.2017 09:10 | 28.01.2017 09:55 | No |
|
| Priced and Energy Timed Automata | Scheduled | 10.01.2017 09:00 | 10.01.2017 09:45 | No |
|
| Process Algebra | Scheduled | 24.01.2017 09:15 | 24.01.2017 10:00 | No |
|
| Event Structures | Scheduled | 24.01.2017 08:30 | 24.01.2017 09:15 | No |
|
| Probabilistic Automata and PCCS | Scheduled | 17.01.2017 08:30 | 17.01.2017 09:15 | No |
|