Contact

EMail:

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

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

(Changed: 2021-04-30)