Od automatów skończonych do rozgrywek na dowolnych grafach, od czasu stałego do nieelementarnego, od logiki klasycznej do logik temporalnych opisujących własności złożonych systemów. Tematyka seminarium obejmuje szeroki krąg problemów współczesnej informatyki teoretycznej. Prace magisterskie często rozwiązują nietrywialne problemy matematyczne lub dają kompetentny przegląd jakiejś nowej dziedziny; możliwe są także prace implementacyjne (np. symulacje gier).