Computer Science Logic 2017, August 20-24

Programme committee

Parosh Aziz Abdulla (University of Uppsala),
Lars Birkedal (University of Aarhus),
Nikolaj Bjorner (Microsoft Research),
Maria Paola Bonacina (Università degli Studi di Verona),
Patricia Bouyer-Decitre (LSV, CNRS & ENS Cachan),
Agata Ciabattoni (University of Viena),
Thierry Coquand (University of Gothenburg),
Mads Dam (KTH, Stockholm),
Ugo Dal Lago (University of Bologna),
Anuj Dawar (Cambridge University),
Valentin Goranko (Stockholm University),
Maribel Fernandez (King's College London),
Martin Grohe (RWTH Aachen),
Lauri Hella (University of Tampere),
Joost-Pieter Katoen (RWTH Aachen),
Orna Kupferman (University of Jerusalem),
Leonid Libkin (University of Edinburgh),
Angelo Montanari (University of Udine),
Catuscia Palamidessi (Paris, INRIA),
Frank Pfenning (Carnegie Mellon University, Pittsburgh),
Ram Ramanujam (Institute of Mathematical Sciences, Chennai),
Jean-Francois Raskin (University of Bruxelles),
Thomas Schwentick (University of Dortmund),
Viorica Sofronie-Stokkermans (University of Koblenz-Landau),
Thomas Streicher (University of Darmstadt),
Jean-Marc Talbot (University of Aix-Marseille),
Luca Viganò (King's College London),
Ron van der Meyden (UNSW Australia),
Lijun Zhang ( Chinese Academy of Sciences, Beijing).

Local organizing committee

Stefan Buijsman, Department of Philosophy, Stockholm University
Mads Dam (OC co-chair), Department of Computer Science, KTH
Jacopo Emmenegger, Department of Mathematics, Stockholm University
Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University
Dilian Gurov (workshops chair), Department of Computer Science, KTH
Eric Johannesson, Department of Philosophy, Stockholm University
Vera Koponen, Department of Mathematics, Uppsala University
Johan Lindberg, Department of Mathematics, Stockholm University
Roussanka Loukanova, Department of Mathematics, Stockholm University
Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University
Anders Lundstedt, Department of Philosophy, Stockholm University
Karl Nygren, Department of Philosophy, Stockholm University
Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University