Oberseminar: Softwareentwicklung und Verifikation (Wintersemester 2020/21)

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

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

Hinweise

Hier finden Sie bald weitere Informationen zu unserem Oberseminar im Wintersemester 2020/21.

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.