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.

<< 2018 >>

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

Past Presentations

Mar 15, 2018Hoang Gia NguyenEnhanced Distributed Behavioral Cartography of Parametric Timed Automata
Mar 08, 2018Ansgar FehnkerThe Smell of Processing
Mar 06, 2018Jan-Jelle KesterA System for Risk Assessment of Code Merges
Feb 22, 2018ST colloquium
Feb 15, 2018Laure PetrucciEfficient Parameter Synthesis Using Optimized State Exploration Strategies
Feb 15, 2018Jan-Jelle KesterCancelled: A System for Risk Assessment of Code Merges; Reason: Illness
Feb 08, 2018Thijs WiefferinkParallel Prefix Sum: A Case Study for GPGPU Program Verification
Jan 30, 2018Sebastiaan la FleurStatic Analysis of Symbolic Transition Systems with Goose
Jan 23, 2018Rajesh KumarQuantitative security and safety analysis with attack-fault trees
Jan 16, 2018Ida Hamer denSpecial: Administrative Lunchmeeting
Jan 09, 2018Arend RensinkDefining software change