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.
- Kursleiter:in: Sebastian Böhne
- Kursleiter:in: Nuria Brede
- Kursleiter:in: Mario Frank
- Kursleiter:in: Christoph Glinzer
- Kursleiter:in: Tom Kranz
- Kursleiter:in: Prof. Dr. Christoph Kreitz
- Kursleiter:in: Tim Richter