Organisation


Peter Habermehl
LSV, École Normale Supérieure de Cachan, CNRS, INRIA and
LIAFA, Université Denis Diderot---Paris 7, CNRS,
France

Tomáš Vojnar
FIT, Brno University of Technology,
Czech Republic