Oberseminar: Softwareentwicklung und Verifikation (Wintersemester 2021/2022)

Veranstaltung im Wintersemester 2021/2022 an der Westfälischen Wilhelms-Universität Münster

Veranstalter: Prof. Dr. Markus Müller-Olm

Ort und Zeit

Einzeltermine, in der Regel montags, 16:15 Uhr im SRZ 18.

Inhalt

Im Oberseminar "Softwareentwicklung und Verifikation" tragen Studierende und Doktoranden über aktuelle Themen aus dem Umfeld Ihrer Abschlussarbeiten bzw. Dissertationen vor. Gelegentlich finden auch Vortäge auswärtiger Gäste statt. Die Vortragstermine werden auf dieser Seite jeweils rechtzeitig bekannt gegeben. Gäste sind bei allen Vorträgen herzlich willkommen.

Termine und Vortragende

25. Oktober 2021, 16:15 Uhr, SRZ 18: Rasim Almaz: Counterexample-Guided Abstraction Refinement
8. November 2021, 16:15 Uhr, SRZ 18: Till Bornefeld: Über Spiele mit Poorman-Bietmechanismus
10. Januar 2022, 16:15 Uhr, SRZ 18: Severin Schmitz: Erfüllbarkeit für BranchCaRet-Formeln