Committees
Organising Committee
Technical Program Committee
| Luca Aceto | U. Reykjavik, Iceland |
| Rudolf Berghammer | U. Kiel, Germany |
| Filippo Bonchi | CNRS, France |
| Jules Desharnais | U. Laval, Canada |
| Hitoshi Furusawa | U. Kagoshima, Japan |
| Tim Griffin | U. Cambridge, UK |
| Walter Guttmann | U. Canterbury, NZ |
| Robin Hirsch | U. College London, UK |
| Peter Höfner | Data61, Australia |
| Marcel Jackson | LaTrobe U., Australia |
| Jean-Baptiste Jeannin | Samsung Research America, USA |
| Peter Jipsen | Chapman U., USA |
| Wolfram Kahl | McMaster U., Canada |
| Dexter Kozen | Cornell, USA |
| Szabolcs Mikulas | Birkbeck U., UK |
| Bernhard Möller | U. Augsburg, Germany |
| José N. Oliveira | U. Minho, Portugal |
| Damien Pous | CNRS, France |
| Christian Prisacariu | U. Oslo, Norway |
| Georg Struth | U. Sheffield, UK |
| Pascal Weil | CNRS, France |
| Michael Winter | Brock U., Canada |
Steering Committee
| Rudolf Berghammer | U. Kiel, Germany |
| Jules Desharnais | U. Laval, Canada |
| Ali Jaoua | Qatar U., Qatar |
| Peter Jipsen | Chapman U., USA |
| Bernhard Möller | U. Augsburg, Germany |
| José N. Oliveira | U. Minho, Portugal |
| Ewa Stella Orlowska | U. Warsaw, Poland |
| Gunther Schmidt | U. Bundeswehr München, Germany |
| Michael Winter | Brock U., Canada |
Local Organisers
Catherine Desplanches, Damien Pous.
With help form Enric Cosme-LLópez, Anupam Das, Christian Doczkal, and Valeria Vignudelli.