Benutzerspezifische Werkzeuge

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)
Artikelaktionen
Auf einen Blick
Lehrform Oberseminar
Empfohlen ab FS 5
Voraussetzungen Aktive Mitarbeit an Themen der Arbeitsgruppe, z.B zur Vorbereitung und Praesentation von Studien- und Abschlussarbeiten. Keine Doppelanrechnung von eigenstaendiger 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