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: Dr. Mario Frank
- Kursleiter*in: Christoph Glinzer
- Kursleiter*in: Tom Kranz
- Kursleiter*in: Prof. Dr. Christoph Kreitz
- Kursleiter*in: Tim Richter
ePortfolio: Nein