Oberseminar: Softwareentwicklung und Verifikation (Sommersemester 2023)

Veranstaltung im Sommersemester 2023 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, SRZ 104.

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.