27.02 Slawomir Leszczynski: Model checking.
6.03 Slawomir Leszczynski: Model checking cd.
13.03 Jacek Swiergocki: praca magisterska.
20.03 Maciej Kwiatkowski: praca magisterska.
27.03 Lukasz Krzeszczakowski: Twierdzenia o skladaniu modeli
3.04 Radek Bartosiak: praca magisterska.
10.04 Joanna Czarnocka: Slady Mazurkiewicza.
24.04 Marcin Sawicki: Hierarchia alternacji w rachnku Mi.
8.05
15.05