UK Model Checking




UK Model Checking Days 2005, York
The Department of Computer Science at the University of York is pleased to announce that it is hosting the first "UK Model Checking Days" in York.

York Minster

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:

  • Discovering what research is currently carried out at various UK universities;
  • Stimulating discussions on the latest research directions;
  • Identifying common research interests;
  • Jump-starting successful collaborations.

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 September.
Your workshop organisers,

Howard Barringer (University of Manchester)
Gerald Luettgen (University of York)
Jim Woodcock (University of York)


Department of Computer Science, University of York, Heslington, York, YO10 5DD