Department of Programming and Formal Methods : Seminars