Październik:

10: Krzysztof Kapulkin o teorii kategorii
17: Łukasz Kożuchowski o dziwnym rachunku lambda
24: Adam Slaski o semantyce w grach
31: Marek Czarnecki o dziwnym przepisywaniu

Listopad:

7: Mariusz Rak o pracy: Simon Marlow and Simon Peyton Jones, "How to make a fast curry: push/enter vs eval/apply". (A tutaj są slajdy.)
14: Krzysztof Kapulkin o teorii kategorii (ciąg dalszy)
21: Odwołane z powodu choroby referenta
28: Krzysztof Kapulkin o teorii kategorii (ciąg jeszcze dalszy i nowy wręczałt )

Grudzień:

5: Krzysztof Kapulkin (dokończenie); Łukasz Kożuchowski o logice liniowej
12: Łukasz Kożuchowski (dokończenie).
19: Marek Stępniowski o rekonstrukcji typów w języku JavaScript

Styczeń:

9: Adam Slaski o sile wyrazu grammatical frameworks
16: Marek Czarnecki o arytmetyce i prawdzie.
23: Mariusz Rak o strzałkach.

Luty:

20: Mariusz Rak o strzałkach, ciag dalszy.
27: Łukasz Kożuchowski o typach dla sieci sensorowych.

Marzec:

6-13-20: Adam Slaski o przepisywaniu termów.
27: Marek Czarnecki o algorytmicznym uczeniu się.

Kwiecień:

3: Marek Stępniowski o rozproszonym wiki.
17: Marek Czarnecki o hierarchii Grzegorczyka.
24: Łukasz Kożuchowski o konfluencji.

Maj:

1: Niech się święci.
8: Juwenalia.
15: Mariusz Rak
22: Adam Slaski o pracy magisterskiej.
29: Łukasz Kożuchowski o pracy magisterskiej.

Czerwiec:

5: Krzysztof Kapulkin o homotopijnej teorii typów.