Workshop rationale. Model checking has proved to be a very successful automated technology for reasoning about the behaviour of complex reactive systems, such as hardware circuits, communications protocols, and embedded controllers. International model checking research is thriving, with many novel technologies and applications emerging. Undoubtedly, the UK is an important international player in this field, particularly regarding foundational research, but is arguably less well organised as a national community.
This workshop aims at improving networking among the UK model checking community. It will provide a forum for:
The workshop is not restricted to established researchers, but also warmly welcomes newcomers and particularly PhD students.
Keynote address. By Antti Valmari, Tampere University of Technology, Finland.
Workshop format. The format of the workshop is rather informal and much time shall be devoted to discussions. Each participant is encouraged to give a short presentation on their recent and ongoing research, including at least one slide that is likely to stimulate discussion. One output of the workshop will be a report containing abstracts of the talks and distributing the discussions.
Workshop registration. Registration is simply via email to the organisers. There is no registration fee.
We hope to welcome many of you in York on 27th