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 | Adjoint functors |
| 24-Jun | — entr’acte — | — entr’acte — |
| 1-Jul | Sergey Goncharov | Curry-Howard-Lambek correspondence |
| 8-Jul | Linear logic II | |
| 15-Jul | Paul Wild | Abstract GSOS rules |
Literature
- An overview article: “Some Aspects of Categories in Computer Science” by P.J. Scott, a chapter in Handbook of Algebra, Vol.2 (2000), Elsevier. (early draft available electronically).
The final version is available from the university network: http://www.sciencedirect.com/science/article/pii/S1570795400800273. - Chapters of the book Categories for Types by R.L.Crole (see contents).
- Selected chapters from A. M. Pitts and P. Dybjer (Eds), Semantics and Logics of Computation (see contents, more can be found here)