Theorie-Kolloquium
- Oberseminar, Prof. Dr. Kreitz, Richter, Brede, Böhne, Frank, Di. 14:00-16:00, 3.04.2.01
Arbeitsplan
Hier die vorläufige Planung für das Sommersemester 2016. Individuelle Vortragsankündigungen werden ergänzt.
Datum | Referent(en) | Titel | vorauss. abwesend |
---|---|---|---|
3.5. | Mario | IDE for lambda | |
10.5. | Sebastian | Detlefsen: Toulouse lectures I | Nuria |
17.5. | Sebastian | Detlefsen: Toulouse lectures II | |
24.5., 31.5., 7.6., 14.6. |
Nuria | Melliès, Zeilberger : Type refinement and monoidal closed bifibrations |
Sebastian |
21.6. | ?? | Nuria, Mario | |
28.6. | Tim | Quotient algebras in Idris I | Mario |
5.7. | Sebastian Schellhorn | t.b.a. | |
12.7. | Mario | t.b.a. | |
19.7. | Tim | Quotient algebras in Idris II |