| Date | Talk |
|---|---|
| Feb. 24 | Yuri Savateev, Sequence justification calculus, part 1 |
| Mar. 03 | Yuri Savateev, Sequence justification calculus, part 2 |
| Mar. 10 | Yuri Savateev, Sequence justification calculus, part 3 |
| Mar. 17 | Jon Brugger, Representation of ordinals, part 1 |
| Mar. 24 | Jon Brugger, Representation of ordinals, part 2 |
| Mar. 31 | No seminar (SSLPS Annual Meeting 2011) |
| Apr. 07 | Sebastian Eberhard, TBA |
| Apr. 14 | Sebastian Eberhard, TBA |
| Apr. 21 | Münchenwiler meeting |
| Apr. 28 | Spring Break |
| May 5 | Kentaro Sato, Fixed-point and reduction in class theory |
| May 12 | Dieter Probst, TBA |
| May 19 | Rico Zumbrunnen, TBA |
| May 26 | Daniel Fabian, TBA |
| Jun. 02 | no seminar (Christi Himmelfahrt, Ascension Day) |