MFPS XXXIII Committees

Programme Committee

  • Gilles Barthe Madrid, Spain
  • Andrej Bauer Ljubljana, Slovenia
  • Steve Brookes Pittsburgh, PA, USA
  • Carla Ferreira Lisbon, Portugal
  • Nate Foster Ithaca, NY, USA
  • Chris Heunen Edinburgh, UK
  • Justin Hsu Philadelphia, PA, USA
  • Achim Jung Birmingham, UK
  • Elham Kashefi Edinburgh, UK
  • Clemens Kupke Edinburgh, UK
  • Barbara Koenig Duisburg, Germany
  • Catherine Meadows Washington, DC, USA
  • Michael Mislove New Orleans, LA, USA
  • Joel Ouaknine Saarbrucken, Germany
  • Alessandra Palmigiano Delft, The Netherlands
  • Prakash Panangaden Montreal, Canada
  • Daniela Petrisan Paris, France
  • Brigitte Pientka Montreal, Canada
  • Jurriaan Rot Nijmegen, The Netherlands
  • Mehrnoosh Sadrzadeh London, UK
  • Alexandra Silva (Chair) London, UK
  • Ana Sokolova Salzburg, Austria
  • Valeria Vignudelli Bologna, Italy

Steering Comittee

  • Achim Jung Birmingham, UK
  • Andrej Bauer Ljubljana, SLO
  • Catherine Meadows NRL, USA
  • Joel Ouaknine Oxford, UK
  • Michael Mislove Tulane, USA
  • Prakash Panangaden Montreal, CA
  • Steve Brookes CMU, USA