Invited Speakers Byron Cook, UCL and Microsoft Research, UK. Kousha Etessami, University of Edinburgh, UK. Anca Muscholl, LaBRI Bordeaux, France. Sylvain Schmitz, LSV and ENS-Cachan, France.