Oberseminar: Softwareentwicklung und Verifikation (Wintersemester 2018/2019)
Veranstaltung im Wintersemester 2018/2019 an der Westfälischen Wilhelms-Universität Münster
Veranstalter: Prof. Dr. Markus Müller-Olm
Eintrag für das Oberseminar im HIS/LSF
Ort und Zeit
Einzeltermine, in der Regel montags, 16:15 Uhr im SRZ 216.
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 bekannt gegeben. Gäste sind bei allen Vorträgen herzlich willkommen.
Termine und Vortragende
- 22. Oktober: Thomas Tenberge
- 5. November: TBA
- 19. November: TBA
- 26. November: TBA
- 10. Dezember, 17:15 Uhr im SRZ 216: Jonas Kremer
- 13. Dezember, 16:15 Uhr im SRZ 114: Stefanie Drerup
- 7. Januar, 16:15 Uhr im SRZ 216: Christian Dielitz
- 14. Januar, 16:15 Uhr im SRZ 216: Jaris Meis, Freia Utermöhle