Seminars
Besides the "group-wide" seminars below, we have topic-wise informal seminars... in principle every day! The current topics are: lambda-calculus, hybrid systems, quantitative verification and quantum computation. Typically a student attends a couple among them.