17.12.2013
Contact
Director
Prof. Dr. Ernst-Rüdiger Olderog
Coordinator
Ira Wempe
17.12.2013
SCARE Monthly Seminar
AGENDA
| Time | Speaker | Title |
16:00 - 16:30 | Dilshod Rahmatov | Dependable Systems through Region-Adherent Distributed Algorithms |
16:30 - 16:55 | Christoph Peuser | Composition of M,N-adhesive Categories |
16:55 - 17:20 | Heinrich Ody | Synthesis of Distributed Reactive Systems |