Benutzerspezifische Werkzeuge

Theorie-Kolloquium

  • Oberseminar, Prof. Dr. Kreitz, Richter, Brede, Böhne, Frank, 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.

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
Artikelaktionen
Auf einen Blick
Lehrform Oberseminar
Empfohlen ab FS 5
Voraussetzungen Aktive Mitarbeit an Themen der Arbeitsgruppe, z.B zur Vorbereitung und Präsentation von Studien- und Abschlussarbeiten. Keine Doppelanrechnung von eigenständiger Leistung.
Benotet Ja
Punkte gesamt 3
davon praktisch 3
Sprache deutsch/englisch
Fremdhörer zugelassen? Nein
Teilgebiete Theoretische Informatik(2000), Angewandte Informatik(4000), Wahlfrei(7000)
Studiengang Bachelor, Master
Belegung via PULS