Conference Organisation General Chair James Allen, University of Rochester Program Co-Chairs Clare Dixon and Michael Fisher, Manchester Metropolitan University Treasurer Howard Hamilton, University of Regina, Canada Program Committee Frank Anger National Science Foundation, USA Mark Boddy Honeywell Systems and Research Centre, USA Iliano Cervesato Stanford University, USA Luca Chittaro Universita' di Udine, Italy Jan Chomicki Monmouth University, USA Philippe Dague Universite Paris-Nord, France Mark Denecker Katholieke Universiteit Leuven, Belgium Clare Dixon Manchester Metropolitan University, UK Marcelo Finger Universidade de Sao Paulo, Brazil Michael Fisher Manchester Metropolitan University, UK Dov Gabbay Kings College, London, UK Scott Goodwin University of Regina, Canada Hans Guesgen University of Auckland, NZ Peter Haddawy University of Wisconsin-Milwaukee, USA Howard Hamilton University of Regina, Canada Patrick Hayes University of West Florida, USA Lina Khatib Florida Institute of Technology, USA Peter Ladkin Universitaet Bielefeld, Germany Gerard Ligozat Univerite Paris-Sud, France Ron van der Meyden University of Technology, Sydney, Australia Angelo Montanari Universita' di Udine, Italy Robert Morris Florida Institute of Technology, USA Bernhard Nebel Albert-Ludwigs-Universitaet Freiburg, Germany Han Reichgelt University of the West Indies, Jamaica Mark Reynolds Murdoch University, Perth, Australia Abdul Sattar Griffith University, Australia Yuval Shahar Stanford University, USA Paolo Terenziani University of Torino, Italy Andre Trudel Acadia University, Canada Thierry Vidal National Engineering School of Tarbes (ENIT), France Lluis Vila Technical University of Catalonia, Spain Additional Reviewers Philippe Balbiani Laboratoire d'informatique de Paris-Nord, France Carlo Combi University of Udine, Italy. Thuong Doan University of Wisconsin-Milwaukee, USA Patrick Doherty University of Linkoeping, Sweden Massimo Franceschet University of Udine, Italy. Vu Ha University of Wisconsin-Milwaukee, USA