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 der angegebenen Webseite bekannt gegeben. Gäste sind bei den Vorträgen herzlich willkommen. |