03.12.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
03.12.2013
SCARE Monthly Seminar
AGENDA
| Time | Speaker | Title |
16:00 - 17:00 | Björn Engelmann | Towards Practical Verification of Dynamically Typed Programs |