Seminar, Prof. Dr. Kreitz, 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.
VoraussetzungenMitarbeit an Themen der Arbeitsgruppe, z.B zur Vorbereitung und Präsentation von Studien- und Abschlussarbeiten.
Für Bachelorstudenten nur bei besonderem Interesse an Forschungsarbeit geeignet.
Keine Doppelanrechnung von eigenständiger Leistung.