Programme Committee
- David Aspinall, Edinburgh, United Kingdom
- Muffy Calder, Glasgow, United Kingdom
- Michael Goldsmith, Warwick, United Kingdom
- Constance Heitmeyer, Naval Research Laboratory, Washington, DC, United States
- Gerald Luettgen, York, United Kingdom
- Eric Mercer, Brigham Young University, Utah, United States
- Stephan Merz, INRIA, Nancy, France
- Alice Miller, Glasgow, United Kingdom
- Paritosh Pandya, IIT Mumbai, India
- Silvio Ranise, Verona, Italy
- Markus Roggenbach (Chair), Swansea, United Kingdom
- Bill Roscoe, Oxford, United Kingdom
- Mark Ryan, University of Birmingham, United Kingdom
- Helen Treharne, Surrey, United Kingdom
- Markus Wenzel, TU Muenchen, Germany
- Sergio Yovine, Verimag, France
