Oberseminar: Softwareentwicklung und Verifikation (Wintersemester 2023/24)

Veranstaltung im Wintersemester 2023/24 an der 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, SRZ 203.

---

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 jeweils rechtzeitig bekannt gegeben. Gäste sind bei allen Vorträgen herzlich willkommen.