9 Jul 2010
Eindhoven, The Netherlands
*** Call for participation ***
Dutch Model Checking Day 2010
Friday July 9, 2010, 10.00h -- 17.00h
Eindhoven University of Technology
Participation is free of charge, but registration is required.
http://www.win.tue.nl/dmcd2010/
Model checking is a tool-supported technique to analyse the correctness
of ICT systems that enjoys increasing popularity in both scientific and
industrial circles. In the past twenty-five years, research in this area
has led to dramatic improvements in the performance of model checking
tools. This has enabled its application to real-life problems, and has
induced major corporations such as Microsoft and Intel to invest in the
development and application of model checking technology.
The Dutch Model Checking Day (DMCD) is a forum for practitioners and
researchers interested in model-based techniques for the validation and
analysis of software and hardware. DMCD covers a broad spectrum of topics,
ranging from fundamental algorithms to industrial applications and tools.
The workshop aims to foster interactions and exchanges of ideas with all
related areas in software engineering.
The keynote talk of DMCD 2010 will be given by Patrice Godefroid
from Microsoft Research, who is one of the leading researchers in the
area.
Programme:
----------
The preliminary programme is as follows:
* Patrice Godefroid (Microsoft Research, USA), keynote speaker
From Blackbox Fuzzing to Whitebox Fuzzing towards Verification
* Marieke Huisman (University of Twente)
Compositional Verification of Control-Flow Safety Properties for
Programs with Procedures
* Jeroen Keiren (Eindhoven University of Technology)
Tailoring process equivalences to parity games and Boolean equation sys=
tems
* Stefan Vijzelaar (VU University Amsterdam)
A Shared Disk on Distributed Storage
* Jan Friso Groote (Eindhoven University of Technology)
LaQuSo, kenniswerkersregelingen and formal methods
* Mark Winands (Maastricht University)
Monte-Carlo Tree Search and its Variants
* Frits Vaandrager (Radboud University)
Learning I/O Automata
Up-to-date information is at all times available through the
workshop's website.
Venue:
------
Eindhoven University of Technology
Organising committee:
---------------------
Dragan Bosnacki (Eindhoven)
Jeroen Keiren (Eindhoven)
Michael Weber (Twente)
Tim Willemse (Eindhoven)
Contact address:
----------------
Dutch Model Checking Day
Design and Analysis of Systems
Department of Mathematics and Computer Science
Technische Universiteit Eindhoven
P.O. Box 513
5600 MB Eindhoven
Fax: +31 (0)40 246 8508
Email: dmcd2010@win.tue.nl
URL: http://www.win.tue.nl/dmcd2010/
Registration:
-------------
Registration for the workshop is *free*, but required.
Participants can register through the workshop's website.
The registration also covers the lunch and the closing drinks.
Supported by:
-------------
Eindhoven University of Technology
Dept. of Mathematics and Computer Science
Dept. of Biomedical Engineering
Institute for Programming and Algorithmics (IPA)
Laboratory for Quality Software (LaQuSo)
The Netherlands Organisation for Scientific Research (NWO)
University of Twente
Dept. of Electrical Engineering, Mathematics and Computer Science