Oberseminar: Softwareentwicklung und Verifikation

Veranstaltung im Sommersemester 2016 an der Westfälischen Wilhelms-Universität Münster

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

Ort und Zeit

Einzeltermine (siehe unten), montags, 16:15 Uhr im SR 7.

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 bekanntgegeben. Gäste sind bei allen Vorträgen herzlich willkommen.

Termine im Sommersemester 2016

13. Juni 2016: Christoph O.
27. Juni 2016: Martin L. & Timo S.
4. Juli 2016: Jens G.
11. Juli 2016: Thomas V.
18. Juli 2016: Konrad S.