26th EACSL Annual Conference Computer Science …26th EACSL Annual Conference Computer Science Logic...
1
26th EACSL Annual Conference Computer Science Logic 2017 Stockholm 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 Registration Early: June 20 Late: August 8 Submission deadlines Abstracts of regular papers: March 24 Regular papers: March 31 Abstracts of short presentations: June 4 CSL2017 highlight speakers for the LC-CSL session Phokion Kolaitis, U California and IBM Research Wolfgang Thomas, RWTH Aachen Plenary speakers Laura Kovács, Vienna UT Stephan Kreutzer, TU Berlin Meena Mahajan, IMS Chennai Margus Veanes, Microsoft Affiliated workshops Workshop on Logic and Algorithms in Computational Linguistics LACompLing2017, August 18-19 Workshop on Logic and Automata Theory (in memory of Zoltán Ésik), August 25 Workshop on Logical Aspects of Multi-Agent Systems LAMAS2017, August 25 Special sessions Joint session of CSL2017 and LC2017, August 20 Presentation of the Alonzo Church award Presentation of the EACSL Ackermann award Photo Ursula Leonhartsberger-Schrott Photo marga75
Transcript of 26th EACSL Annual Conference Computer Science …26th EACSL Annual Conference Computer Science Logic...
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
