Theorie-Kolloquium

• Oberseminar, Dr. rer. nat. Richter, N.N., Di. 14:00-16:00, 3.06.S16

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.

• 17.04.2012: Wir diskutieren den Artikel "A Model of Type Theory in Simplicial Sets" von T. Streicher.