Oberseminar, Prof. Dr. Kreitz, Dr. rer. nat. Richter, Richter, Brede, Böhne, Di. 14:00-16:00, 3.04.2.01
In unserem Kolloquium diskutieren wir aktuelle Forschungsprojekte und -ergebnisse unserer Arbeitsgruppe und für unsere Arbeit relevante Ergebnisse aus den Bereichen Formale Methoden in der Programmierung sowie automatisches und taktikbasiertes Theorembeweisen
VoraussetzungenAktive Mitarbeit an Themen der Arbeitsgruppe, z.B zur Vorbereitung und Präsentation von Studien- und Abschlussarbeiten.
Keine Doppelanrechnung von eigenständiger Leistung.