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