Oberseminar: Softwareentwicklung und Verifikation

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

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

Ort und Zeit

Einzeltermine (siehe unten), in der Regel 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 Wintersemester 2016/17

(19. Dezember 2016: Alexander W.)
9. Januar 2017: Thomas V.
16. Januar 2017: Jens G.
23. Januar 2017: Philip S.
30. Januar 2017: Sebastian K.
6. Februar 2017: Benedikt N.