About the Dutch Model Checking Day 2018
The Dutch Model Checking Day (DMCD 2018) is a forum for practitioners and researchers interested in model-checking based techniques for the validation and analysis of communication protocols and software systems. Topics covered in the DMCD include theoretical and algorithmic foundations and tools for distributed verification, large and infinite state spaces, coordination problems, timed systems and hybrid systems. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. The Dutch Model Checking Day aims at providing a forum for discussions, to exchange ideas and inform each other on the state of the art in this research area.
Programme
10:00 - 10:30 | Welcome (with coffee/tea) |
10:30 - 12:00 | Block 1 |
10:30 - 11:30 | César Rodríguez (Diffblue & University Paris 13) Prime-Event-Structure based partial order reduction |
11:30 - 12:00 | Mariëlle Stoelinga (UTwente & Radboud University) Fault Trees on a Diet - Automated Reduction by Graph Rewriting |
12:00 - 12:45 | Lunch break |
12:45 - 14:30 | Block 2 |
12:45 - 13:30 | Paul Hoogendijk (Verum) Refinement in Dezyne: Formal Methods for the mass |
13:30 - 14:00 | Jan Friso Groote (TU Eindhoven) An O (m log n) algorithm for stuttering equivalence & branching bisimulation) |
14:00 - 14:30 | Joshua Moerman (Radboud University) Minimal separating sequences in O (m log n) |
14:30 - 15:00 | Coffee/tea |
15:00 - 16:45 | Block 3 |
15:00 - 15:30 | Thomas Neele (TU Eindhoven) Solving infinite parity games through bisimulation quotienting |
15:30 - 16:00 | Jaco van de Pol (UTwente) Multi-core symbolic bisimulation minimisation |
16:00 - 16:45 | Rob van Glabbeek (Data61, DSIRO & University of New South Wales, Sydney) Branching bisimulation reduction of imperative process algebras |
16:45 - 17:45 | Reception/Drinks |
More information and registration
The Dutch Model Checking Day will be held at studycentre Utrecht, Vondellaan 202 (1st floor). Registration is free, including lunch. You can now register for the Dutch Model Checking Day 2018 by completing the registration form. Please include your name, email, institution and whether you want to have lunch with us (and if you have dietary requirements), as well as any questions or comments that you may have. The registration deadline has passed.
Organisation
Department of Computer Science
Faculty of Management, Science & Technology
Open University
Organising Committee
Alfons Laarman (Leiden University)
Jeroen Keiren (Open University)
Supported by
and the Open University.