Every Thursday, at 15:45. Room is announced for each colloquium -- When at another day or time, the date in the table below is bold.
Almost all group colloquia are public, and especially ST 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

Apr 26, 2018Mohsen SafariComputation and Communication-Efficient Algorithms for Solving the Shortest Path Problem on GPUs
May 03, 2018Hans van der LaanHermieLab: learning models of GUI-based Java programs made easy!
May 17, 2018Birna van Riemsdijk
May 24, 2018Wytse Oortwijn
Jun 21, 2018ST colloquium on Polder Valley

Past Presentations

Apr 12, 2018Arnd HartmannsA Hierarchy of Scheduler Classes for Stochastic Automata
Apr 05, 2018Marcus GerholdModel-Based Testing for General Stochastic Time
Mar 29, 2018Joost-Pieter KatoenHow to prove that a program almost surely terminate?
Mar 22, 2018Mohsen SafariLocality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths
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