FMT Home > Events

Events

Recurrent Events

• FMT lunch colloquium: Tuesday 12:30-13:30, usually in room Zilverling 5126
• FMT Reading Group
• DSN lunch meetings: approx. once a month, Wednesday 12:30-13:30, usually in room Zilverling 5126

Past Non-Recurrent Events

• Apr 27, 2012: MSc Presentation: Tom van Dijk: The parallelization of BDD operations for model checking
• Feb 24, 2012: MSc Presentation: Tien-Loong Siaw: Saturation for LTSmin
• Dec 14, 2011: Presentation: Matej Mihelčić: Correctness proof of Davis-Putnam and Davis-Putnam-Lovgemann-Loveland algorithm
• Nov 10, 2011: Inaugural Speech: prof.dr.ir. Arend Rensink: Graven in software
• Aug 05, 2011: BSc Presentation: Nils Klatter: Verifying Security Policies by using JML annotations
• Jul 27, 2011: Presentation: Nico Nachtigall: Modelling the Living Place Project using Algebraic Higher-Order Nets
• Jul 13, 2011: MSc Presentation: Erik Hegeman: On the Quality of Quality Models
• Jun 29, 2011: Presentation: Wojciech Mostowski: Midlet Navigation Graphs in JML
• Jun 12, 2011: Tutorial: Michael Weber and Jaco van de Pol: Problem Solving with Model Checking Techniques
• May 12, 2011: PhD Defense: ir. Machiel van der Bijl: On Changing Models in Model-Based Testing
• Mar 24, 2011: MSc Presentation: Martijn Adolfsen: Industrial Validation of Test Coverage Quality
• Mar 18, 2011: MSc Presentation: Elwin Pater: Partial-order reduction for PINS
• Jan 22, 2010: PhD Defense: dr. Martin Neuhausser: Model checking nondeterministic and randomly timed systems
• Sep 25, 2009: PhD Defense: dr. Tingting Han: Diagnosis, synthesis, and analysis of probabilistic models
• Oct 03, 2008: PhD Defense: dr.ir. Harmen Kastenberg: Graph-based Software Specification and Verification
• Sep 04, 2008: PhD Defense: Jens Calamé: Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving
• Apr 10, 2008: Inaugural Speech: prof.dr. Jaco van de Pol: Multi-core Computing meets Formal Methods
• Mar 07, 2008: PhD Defense: dr. Ivan Zapreev: Model Checking Markov Chains: Techniques and Tools

The Formal Methods and Tools group was involved in the organisation of the following events:

• 17e Nederlandse Testdag (Nov 2011)
• Symposium: Model-based Testing, from theory to practice and back again (May 2011)
• NVTI Theory Day 2011 (Mar 2011)
• Joint ICGT/SPIN Conference, 2010 (Sep 2010)
• NVTI Theory Day 2010 (Mar 2010)
• SRO-DSN Symposium (Mar 2010)
• PDMC 2009: 8th International Workshop on Parallel and Distributed Methods in verifiCation (Nov 2009)
• MOAN-CB: Modelling and Analysis of Cell Behaviour (Sep 2009)
• Fifth European Conference on Model-Driven Architecture Foundations and Applications (Jun 2009)
• Dutch Dependability Day (May 2009)
• CeDICT workshop on Dependable ICT Systems (Apr 2009)
• Dutch Model Checking Day 2009 (Apr 2009)
• NVTI Theory Day 2009 (Mar 2009)
• NVTI Theory Day 2008 (Mar 2008)
• AGTIVE-Contest: AGTIVE 2007 Tool Contest (Oct 2007)
• DWFTT2007: The Second Dutch Workshop on Formal Testing Techniques (Sep 2007)
• GT-VC 2007: Graph Transformation for Verification and Concurrency, 2007 (Sep 2007)
• An International Workshop on Advances in Model Checking in honour of Gerard J. Holzmann, 2006 (Nov 2006)
• GT-VC 2006: Graph Transformation for Verification and Concurrency, 2006 (Aug 2006)
• Testdag2005: 11th Dutch Testing Day, 2005 (Nov 2005)
• GT-VC 2005: Graph Transformation for Verification and Concurrency, 2005 (Aug 2005)
• FIT2005: Foundations on Interface Technologies (Aug 2005)