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.

<< 2017 >>

Past Presentations

Dec 19, 2017Twan Coenraad
Dec 12, 2017Dan Zhang
Nov 28, 2017Arnd HartmannsEfficient Statistical Model Checking of Probabilistic Timed Automata with Nondeterminism
Nov 21, 2017Jorge A. PérezLogical Foundations for Message-Passing Concurrency
Nov 14, 2017Fengwei LiGraph parameters and chemistry: the augmented Zagreb index
Oct 31, 2017Maria KechagiaUsing Type Checking to Guard Risky APIs from Runtime Exceptions
Oct 24, 2017Sebastiaan JoostenGraph Saturation for Logic Programming for Graph Transformations for Programming
Oct 17, 2017Carlos BuddeBetter Automated Importance Splitting for Transient Rare Events
Oct 10, 2017Stefano SchivoEfficient Domain-Specific Tool Development for UPPAAL via Model-Driven Engineering
Oct 03, 2017Jaco van de PolDistributed Binary Decision Diagrams for Model Checking
Sep 26, 2017Christina JansenGraph-based Abstract Interpretation for Pointer Programs
Sep 19, 2017Marco BiagiExploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes
Sep 12, 2017Wytse OortwijnThe VerCors Tool Set - Verification of Parallel and Concurrent Software
Aug 29, 2017Enno RuijtersRare event simulation for dynamic fault trees
Aug 15, 2017Rajesh KumarCancelled: Title to be announced; Reason: Holiday pause in Lunch colloquia
Aug 08, 2017Rajesh KumarCancelled: Title to be announced; Reason: Holiday pause in Lunch colloquia
Aug 01, 2017Rajesh KumarCancelled: Title to be announced; Reason: Holiday pause in Lunch colloquia
Jul 11, 2017Marcus GerholdModel-Based Testing of Probabilistic Systems with Stochastic Time
Jul 04, 2017Jaco van de PolGeneration of Sequential and Parallel Model-Checking Benchmarks
Jun 27, 2017Lennart BuitQuery Language for the Lighting Domain and its Verification
Jun 20, 2017Wytse OortwijnCancelled: Title to be announced; Reason: Too busy with other things
Jun 13, 2017Arnd HartmannsTime- and Reward-Bounded Probabilistic Model Checking Techniques
Jun 06, 2017Mojgan KamaliFormal Analysis of Network Routing Protocols
May 30, 2017Janina TorbeckeOptimizing Programs for Certain Parallel Architectures
May 23, 2017Denis DurbrovOptimizing Programs for Certain Parallel Architectures
May 16, 2017Folmer HeikampGuided Fuzzing of Network Applications Using a Genetic Algorithm
May 09, 2017Ji QiVisualizing software events for program comprehension
May 02, 2017Saeed DarabiA Verification Technique for Deterministic Parallel Programs
Apr 25, 2017Bugra M. YildizA Model-Derivation Framework for Software Analysis
Apr 18, 2017ReservedDesign project presentation
Apr 11, 2017Design ProjectGraph visualisation using logic: Graphter Effects
Apr 04, 2017Ansgar FehnkerBetter than B.A.T.M.A.N.
Mar 28, 2017Peter van DijkSimulation of cross-linked RAFT copolymerization processes with Monte Carlo simulations
Mar 21, 2017Lisanne van den BergDesign and implementation of ICT-based communication systems for victim-offender mediation
Mar 14, 2017Arend RensinkData Management at FMT
Mar 07, 2017Robbert KrebbersIris: a framework for higher-order concurrent separation logic in Coq
Feb 28, 2017Tatiana FilatovaDecisions, interactions and expectations formation in agent based models of coupled social-ecological systems
Feb 07, 2017Peter HoefnerUsing Process Algebra to Design Better Protocols
Jan 31, 2017Maurice van KeulenManaging uncertainty in data: The key to effective management of data quality problems
Jan 24, 2017Marcus GerholdPassive Learning for Verification
Jan 19, 2017Sean Sedwards (INRIA Rennes)Lightweight verification methods for nondeterministic probabilistic models based on statistical model checking
Jan 17, 2017Pedro R. D'ArgenioIs your software on dope?: Formal analysis of surreptitiously “enhanced” programs
Jan 03, 2017Cancelled due to holidaysCancelled: Cancelled; Reason: Holidays