19.03.2013
Kontakt
EMail:
DIREKTOR
Prof. Dr. Ernst-Rüdiger Olderog,
Department für Informatik, FK II, Universität Oldenburg,
D-26111 Oldenburg, Germany
KOODINATORIN
Ira Wempe,
Department für Informatik, FK II, Universität Oldenburg,
D-26111 Oldenburg, Germany
Contact
Director
Prof. Dr. Ernst-Rüdiger Olderog
Coordinator
Ira Wempe
19.03.2013
SCARE Monthly Seminar
AGENDA
| Time | Speaker | Title |
16:00 - 16:45 | Björn Engelmann | Towards Verifying Dynamic Typing |
16:45 - 17:15 | Hendrik Radke | Using Path Constraints as Application Conditions for Instance-generating Graph Grammars |
17:15 - 18:00 | SCARE-related Discussions | |