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.

<< 2015 >>

Past Presentations

Dec 15, 2015David HuistraGenerating Attack Trees by Unfolding a Graph Production System
Dec 08, 2015Janina TorbeckeTitle to be announced
Dec 08, 2015Reserved pending confirmationCancelled: Title to be announced; Reason: Speaker cancelled
Dec 01, 2015Waheed AhmadCancelled: Title to be announced; Reason: Speaker unable to attend
Dec 01, 2015Marcus GerholdTesting Provably Secure Encryption
Nov 24, 2015Wytse OortwijnDistributed Binary Decision Diagrams for Symbolic Reachability
Nov 10, 2015Zanbo ZhangCycle Problems and Path Problems in Digraphs
Nov 03, 2015Jie ShenEfficient High Performance Computing on Heterogeneous Platforms
Oct 27, 2015Arnd HartmannsModels, Tools and Techniques for Stochastic Timed Systems
Oct 20, 2015Paul BonsmaAlgorithmic techniques for reconfiguration problems
Oct 13, 2015Roland BalkSQLento: a new database programming language
Oct 06, 2015Stijn de GouwShowing that Android's, Java's and Python's sorting algorithm is broken, and fixing it formally
Sep 15, 2015Thomas NeeleSymbolic bisimulation minimisation in IscasMC
Sep 01, 2015Saeed DarabiSpecification and Verification of Atomic Operations in GPGPU Programs
Jul 23, 2015Wytse OortwijnRDMA based distributed symbolic reachability
Jul 07, 2015Rajesh KumarTitle to be announced
Jun 30, 2015Richard HeijbloemSpare Parts in Fault Trees
Jun 23, 2015Arend RensinkModel-Driven Paper Writing, or: Being Real about your Data
Jun 16, 2015Stijn GijsenRuntime checking of concurrent programs using permissions
Jun 12, 2015Ina SchaeferCancelled: Title to be announced
Jun 08, 2015Jan KrcalScalable Analysis of Fault Trees with Dynamic Features
Jun 02, 2015Jan KupersFunctional hardware design using Haskell -- Continuation
May 12, 2015Vincent BloemenOn-The-Fly Parallel Decomposition of Strongly Connected Components
Apr 28, 2015Jan KuperFunctional hardware design using Haskell
Apr 21, 2015Enno RuijtersFault Maintenance Trees: Combining fault trees, maintenance, and stochastic model checking
Apr 14, 2015Enno RuijtersCancelled: Title to be announced; Reason: ETAPS Week
Apr 07, 2015Saeed DarabiVerification of Loop Parallelisation
Mar 24, 2015Tom van DijkSignature refinement using Sylvan
Mar 17, 2015Alfons LaarmanPartial-Order Reduction for Multi-Core LTL Model Checking
Mar 10, 2015Yanbo ZhangThe story of Ramsey numbers II
Mar 03, 2015Robson MedeirosCost Management in Service Oriented Computing
Feb 24, 2015Martijn BastiaanPreventing the 51%-Attack in Bitcoin: an analysis of Two-Phase Proof-of-Work
Feb 17, 2015G√ľner OrhanThe Objectives of Product Line for Optimal Schedulers (PLOS) Project
Feb 10, 2015Bugra M. YildizModel-based Critical Path Analysis and Deriving Models from the Source Code Using Model-Transformation Techniques
Feb 03, 2015Marcus Gerholdioco theory for probabilistic automata
Jan 27, 2015Stefano SchivoANIMO - an update/introduction
Jan 20, 2015Tom van DijkIC3: Incremental Induction; SAT-based Model Checking Without Unrolling
Jan 13, 2015Prof Bernhard SteffenActive Automata Lerning: From DFA to Interface Programs and Beyond
Jan 06, 2015FMT GroupAdministrative