- Info
Theorie-Kolloquium
-
Oberseminar, Prof. Dr. Kreitz, Brede, Böhne, Frank, Richter, 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.
Kolloquiumsthemen im Wintersemester 2016/2017:
Datum |
Thema |
Referent |
8., 15., 22.11. |
Calculus of Constructions, Historie |
- |
29.11. |
Proofs and Types |
- |
06.12. |
Automatentheorie in Coq für die Lehre |
Nuria, Tim |
13.12. |
weiter Proofs and Types |
- |
03., 10.01. |
reguläre Sprachen und Automaten in Nuprl |
Christoph |
17.01. |
PhD Ramos, ausser Kap. 6 |
Sebastian |
24., 31.01. |
PhD Ramos Kapitel 6 |
Sebastian |
07.02. |
t.b.a. |
|
07.03.2017
|
Sequential decision problems and
responsability measures |
Nicola Botta (PIK)
|