List of participants

  Mario Arioli University of Wuppertal Germany
  Gabriel Barrenechea University of Strathclyde UK
  Alex Bespalov University of Birmingham UK
  Philip Browne University of Reading UK
  Adam Crowder University of Manchester UK
  Andreas Dedner University of Warwick UK
  Emmanuil Georgoulis University of Leicester UK
  Paul Houston University of Nottingham UK
  Uwe Köcher Helmut Schmidt University Hamburg Germany
  Natalia Kopteva University of Limerick Ireland
  Omar Lakkis University of Sussex UK
  Daniel Loghin University of Birmingham UK
  Carlo Marcati UPMC, University of Paris VI France
  Catherine Powell University of Manchester UK
  Dirk Praetorius Vienna University of Technology Austria
  Pranjal University of Manchester UK
  Leonardo Rocchi University of Birmingham UK
  Sarah Roggendorf University of Nottingham UK
  David Silvester University of Manchester UK
  Rob Stevenson University of Amsterdam Netherlands
  Martin Vohralík INRIA Paris-Rocquencourt France
  Jan Westerdiep University of Amsterdam Netherlands