Programme Committee

• Serge Autexier (DFKI Bremen, Germany)
• Jacques Calmet (University of Karlsruhe, Germany)
• John Campbell (University College London, UK) Co-Chair
• Jacques Carette (McMaster University, Canada) Co-Chair
• Simon Colton (Imperial College London, UK)
• Jacques Fleuriot (University of Edinburgh, UK)
• Andrea Kohlhase (Jacobs University Bremen, Germany)
• Taisuke Sato (Tokyo Institute of Technology, Japan)
• Erik Postma (Maplesoft Inc., Canada
• Alan Sexton (University of Birmingham, UK)
• Chung-chieh Shan (Cornell University, USA)
• Toby Walsh (University of New South Wales, Australia)
• Stephen Watt (University of Western Ontario, Canada)