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