Oberseminar: Softwareentwicklung und Verifikation
Veranstaltung im Sommersemester 2017 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 dienstags, 16:15 Uhr im SR 7.
- 9. Mai - Markus S.
- 16. Mai - Markus S.
- 30. Mai - Philip S.
- 20. Juni - Lea L. + Tim S.
- 27. Juni - Christoph O.
- 4. Juli - Christoph O.
- 11. Juli - Raed A.
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.