Committees


Programme Committee

  • Simon Gay, University of Glasgow, UK (co-chair)
  • Jade Alglave, University College London, UK (co-chair)
  • Josh Berdine, Microsoft Research Cambridge, UK
  • Stefan Blom, University of Twente, Netherlands
  • Nathan Chong, University College London, UK
  • Ornela Dardha, University of Glasgow, UK
  • Alexey Gotsman, IMDEA Software Institute, Spain
  • Hans Hüttel, Aalborg University, Denmark
  • Paul Keir, Codeplay Software Ltd, UK
  • Fabrizio Montesi, University of Southern Denmark, Denmark
  • David Pearce, Victoria University of Wellington, New Zealand
  • Pierre-Yves Strub, IMDEA Software Institute, Spain
  • Jules Villard, Imperial College London, UK

Organising Committee