Zakład Programowania i Metod Formalnych : Seminaria