Christel Baier, TU Dresden, Germany

Chris Heunen, University of Edinburgh, UK

Jiri Srba, Aalborg University, Denmark