Slawomir Leszczynski: Kryptografia bezwarunkowa.
Michal Bernardelli: Ataki na RSA.
Joanna Czarnocka: Weryfikacja automatyczna - logiki temporalne, model checking, automaty Buchiego.
Robert Ossowiecki: Automaty na drzewach -
klasyczne i sciezkowe.
Pawel Wolff: Gry nieskonczone.
pani Cieslinska: Zlozonosc deskryptywna.
pan Witkowski: Kwantowy algorytm wyszukiwania.