Seminar Categories in Programming (SoSe 2015)

Dozenten Tadeusz Litak, Sergey Goncharov
Vorlesung/Übungen Mi 14:15 – 15:45 (02.133-113)
Zielgruppe WPF INF-BA ab 4 (ECTS-Credits: 5)
WPF INF-MA ab 1 (ECTS-Credits: 5)
WPF M-BA ab 4 (ECTS-Credits: 5)
WPF M-MA ab 1 (ECTS-Credits: 5)

The idea of the seminar is to practice and improve research skills, such as being able to work with the literature, comprehend scientific texts, summarize and explain the material studied in front of an audience.

The actual topics to be discussed will fall into the broad scope of “Categories of Programming” and will be agreed with the participants, depending on your background and interests.

Preliminary Plan of the Talks

Date Speaker Title
29-Apr Moritz Muehlenthaler Universal constructions
6-May Thorsten Wißmann (Co-)algebra and (co-)recursion
13-May Hans-Peter Deifel First order algebraic type theory
20-May Hans-Peter Deifel High order algebraic type theory
27-May Florian Unger Linear logic I
3-Jun Thorsten Wißmann Adjoint functors
10-Jun Paul Wild Categorial solutions of domain equations
17-Jun Thorsten Wißmann Monads
24-Jun — entr’acte — — entr’acte —
1-Jul Sergey Goncharov Curry–Howard–Lambek correspondence
8-Jul Florian Unger Tadeusz Litak Linear logic II
15-Jul Paul Wild Abstract GSOS rules

Literature