Upcoming Presentations

Every Tuesday, at 12:30, in HB 2A -- when at another day, time or location the date in the table below is bold.
Almost all group colloquia are public, and especially MTV students and students who do their master project within FMT are heartily invited.
Staff-only group colloquia are indicated like this.
Group colloquia with a special topic are indicated like this.
Cancelled group colloquia are indicated like this.

<< Upcoming Presentations

Mar 22, 2018Mohsen Safari
Mar 29, 2018Joost-Pieter KatoenHow to prove that a program almost surely terminate?
Apr 05, 2018Marcus GerholdModel-Based Testing for General Stochastic Time
Apr 12, 2018Arnd HartmannsA Hierarchy of Scheduler Classes for Stochastic Automata
May 03, 2018Hans van der Laan