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

Aug 30, 2018Marieke Huisman
Sep 06, 2018(open)
Sep 13, 2018(open)
Sep 20, 2018(open)

Past Presentations

Jul 31, 2018Yuliya ButkovaContinuous-Time Markov Decisions based on Partial Exploration
Jul 26, 2018Carlos Budde(Importance) Splitting (for) fault trees
Jul 19, 2018Arend RensinkDefining Software Agility
Jul 13, 2018Wojtek JamrogaModel Checking Strategic Ability: Why, What, and Especially: How?
Jul 12, 2018Jaco van de PolHigh-performance Model Checking — 10 years of LTSmin
Jul 05, 2018Sebastiaan JoostenExperiences of an Isabelle/HOL user doing Static Verification
Jun 28, 2018Rob van GlabbeekIs speed-independent mutual exclusion implementable?
Jun 21, 2018ST colloquiumPolder Valley
Jun 14, 2018Tao TianSufficient degree conditions for traceability of claw-free graphs
Jun 07, 2018Dan HuOn the spectra of general random mixed graphs
May 31, 2018Vincent BloemenSymbolically Aligning Observed and Modelled Behaviour and Maximizing Synchronization
May 24, 2018Wytse OortwijnCombined Static and Runtime Verification of Distributed Objects
May 17, 2018Birna van RiemsdijkFormal Methods for Intimate Computing
May 03, 2018Hans van der LaanHermieLab: learning models of GUI-based Java programs made easy!
Apr 26, 2018Mohsen SafariComputation and Communication-Efficient Algorithms for Solving the Shortest Path Problem on GPUs
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