Upload
lamnhan
View
223
Download
1
Embed Size (px)
Citation preview
26th EACSL Annual Conference
Computer Science Logic 2017Stockholm University
20 - 24 August
https://www.csl17.conf.kth.se
Parosh Aziz Abdulla (U Uppsala)Lars Birkedal (U Aarhus)Nikolaj Bjørner (Microsoft Research)Maria Paola Bonacina (U Verona)Patricia Bouyer-Decitre (LSV, ENS Cachan)Agata Ciabattoni (U Vienna)Thierry Coquand (U Gothenburg)Mads Dam (KTH)Ugo Dal Lago (U Bologna)Anuj Dawar (Cambridge U)Valentin Goranko (Stockholm U)Maribel Fernández (King’s College London)Martin Grohe (RWTH Aachen)Lauri Hella (U Tampere)Joost-Pieter Katoen (RWTH Aachen)
Orna Kupferman (U Jerusalem)Leonid Libkin (U Edinburgh)Angelo Montanari (U Udine)Catuscia Palamidessi (Paris, INRIA)Frank Pfenning (Carnegie Mellon U)Ram Ramanujam (IMS Chennai)Jean-François Raskin (U Bruxelles)Thomas Schwentick (U Dortmund)Viorica Sofronie-Stokkermans (U Koblenz-Landau)Thomas Streicher (U Darmstadt)Jean-Marc Talbot (U Aix-Marseille)Luca Viganò (King’s College London)Ron van der Meyden (UNSW Australia)Lijun Zhang (CAS Beijing)
Programme committee
Stefan Buijsman (Stockholm U)Mads Dam (OC co-chair, KTH)Jacopo Emmenegger (Stockholm U)Valentin Goranko (OC co-chair, Stockholm U)Dilian Gurov (workshops chair, KTH)Eric Johannesson (Stockholm U)Vera Koponen (Uppsala U)Johan Lindberg (Stockholm U)Roussanka Loukanova (Stockholm U)Anders Lundstedt (Stockholm U)Peter LeFanu Lumsdaine (Stockholm U)Karl Nygren (Stockholm U)Erik Palmgren (OC co-chair, Stockholm U)
Local organizing committee
Stockholm University
KTH Royal Institute of Technology
Stockholm City Hall
Sponsors
RegistrationEarly: June 20Late: August 8
Submission deadlinesAbstracts of regular papers: March 24Regular papers: March 31Abstracts of short presentations: June 4
CSL2017 highlight speakers for the LC-CSL session
Phokion Kolaitis, U California and IBM ResearchWolfgang Thomas, RWTH Aachen
Plenary speakers
Laura Kovács, Vienna UTStephan Kreutzer, TU BerlinMeena Mahajan, IMS Chennai Margus Veanes, Microsoft
Affiliated workshops
Workshop on Logic and Algorithms in Computational Linguistics LACompLing2017, August 18-19Workshop on Logic and Automata Theory (in memory of Zoltán Ésik), August 25Workshop on Logical Aspects of Multi-Agent Systems LAMAS2017, August 25
Special sessions
Joint session of CSL2017 and LC2017, August 20Presentation of the Alonzo Church awardPresentation of the EACSL Ackermann award
Phot
o U
rsul
a Le
onha
rtsb
erge
r-Sch
rott
Phot
o m
arga
75