(20.10) Stosy, liczniki, nieroztrzygalność -- Zadania, Materiały
(27.10) OCNy -- Zadania, Materiały
(03.11) WQOsy -- Zadania, Materiały
(10.11) VASSy (wprowadzenie) -- Zadania, Materiały
(17.11) Rackoff, drzewo pokrywalności, Z-VASSy -- Zadania, Materiały
(24.11) Z-VASSy -- Zadania, Materiały
(01.12) Z-VASSy (c. d.) -- Zadania
(8.12) VASSy i ich warianty -- Zadania, Materiały
(15.12) VASSy c. d. -- Zadania, Materiały
(22.12) Arytmetyka Presburgera -- Zadania
(12.01) Arytmetyka Presburgera, zbiory semi-linowe, 2VASSy -- Zadania