2018 Seminar
The group seminar in 2018 will be held every Wednesday, 13:00-15:00.
Details about the seminar schedule can be found here.
2017 Seminar
The group seminar in 2017 will be held every Wednesday, 13:00-15:00.
Details about the seminar schedule can be found here.
2016 Autumn Seminar
The group seminar in 2016 Autumn term will be held every Tuesday, 13:00-15:00.
Details about the seminar schedule can be found here.
2016 Spring Seminar
The group seminar in 2016 Spring term will be held every Tuesday, 13:00-15:00.
Details about the seminar schedule can be found here.
2015 Autumn Seminar
The group seminar in 2015 Autumn term will be held every Tuesday, 13:00-15:00.
Details about the seminar schedule can be found here.
2014 Autumn / 2015 Spring Seminar
The group seminar in 2014 Autumn and 2015 Spring is mainly focused on the book "Principles of Model Checking" by Christel Baier and Joost-Pieter Katoen.
2014 Spring Seminar
The group seminar in 2014 Spring term is focused on the book "Concurrency Theory" by Howard Bowman and Rodolfo Gomez.