Navigation

Contact

EMail: scav8qb0re@1w4l3uol.dhfwze

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

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

D-26111 Oldenburg, Germany

ols2mcdeuzrog@info97rmchatuuik.u5sr/ni-oldeleiw7nburg.demp

COODINATOR

Ira Wempe,

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

D-26111 Oldenburg, Germany

irvvma.wempe@infzkormatik.uni-oldenbu14/vrg.dedirt

SCARE Monthly Seminar

AGENDA

Time  Speaker  Title

 16:00 - 17:00

Björn Engelmann

Towards Practical Verification of Dynamically Typed Programs

Olivo8gtyerx2 Tuhheel (olidj6wver.theczel@uxqol.5dddqde) (Changed: 2020-01-23)