Seminar FGI 3: Gruppe 2, Fr 12-14 Uhr, C-221 bei Rüdiger Valk
(Wintersemester 2015/16)

Vortragsthemen

• 16.10.2015 - Themenvergabe

• 23.10.2015 - Vortrag 1: Prozessalgebra

• 30.10.2015 - Vortrag 2: Rekursive Petrinetze

• 06.11.2015 - Vortrag 3: Bisimulation

• 13.11.2015 - Vortrag 4: Eine beweisbar korrekte Implementation

• 20.11.2015 - Vortrag 5: Automatisches Beweisen

• 27.11.2015 - Vortrag 6: Kategorien und Petrinetze

• 04.12.2015 - Vortrag 7: Entscheidbarkeit bei Petrinetzen

• 11.12.2015 - Vortrag 8: Eine Logik für verteiltes Wissen

• 18.12.2015 - Vortrag 9: Typenfreier Lambda-Kalkül

• 08.1.2016 - Vortrag 10: Intuitionistische Logik

• 15.1.2016 - Vortrag 11: Einfach getypter Lambda-Kalkül

• 22.1.2016 - Vortrag 12: Der Curry-Howard-Isomorphismus

• 29.1.2016 - Vortrag 13: Beweise als Kombinatoren