Navigation

Contact

EMail: scmdyare@uldy0olumt9.de

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

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

D-26111 Oldenburg, Germany

oldezsee2rog@w8efpinfoqozfrmatik3cwzd.uni-oevldenbuxcmrg.de

COODINATOR

Ira Wempe,

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

D-26111 Oldenburg, Germany

irk6ea.wempe4u@infrrxormayy6tilb7tk.unhm2i-cosn7oldeblnbog78xurg.ftde

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

Olivdger Thmhh1seel (oliver.rvtheel@urpiyool.wultdej25) (Changed: 2020-01-23)