Service

• I am serving on the committee of:
  • RV 2014
  Please consider submitting papers to these events.
• I have (co-)chaired/organised:
  • SPIN 2012 Workshop on Model Checking of Software, Oxford, UK, 2012 (PC co-chair)
  • 6th International Workshop on Symmetry and Constraint Satisfaction Problems, Nantes, France, 2006 (PC co-chair)
  • 27th Scottish Theorem Proving Seminar, Glasgow, UK, 2006 (organiser)
  • SymNet Workshop on "Almost Symmetry" in Search, New Lanark, UK, 2005, funded by the SymNet EPSRC Network of Excellence (co-organizer)
• I have served on the committee of:
  • EuroPar 2013
  • SPIN 2013
  • PLACES 2013
  • GRAPHITE 2013
  • VSSE 2013
  • DAC 2012 (Expert Reviewer for subcommittee on Embedded System Specification and Software Engineering)
  • PLACES 2012 (PC)
  • GRAPHITE 2012 (PC)
  • PLACES 2011 (PC)
  • CISIS 2011 (PC)
  • HPCC 2010 (PC)
  • 3PGCIC 2010 (PC)
  • HIPS 2010 (PC)
  • MuCoCoS 2010 (PC)
  • International Symmetry Conference 2007 (PC and model Checking area chair. Web page no longer seems to exist)