20-24 Aug 2017
Stockholm, Sweden
==================================================================
CALL FOR PARTICIPATION
26th EACSL Annual Conference on Computer Science Logic CSL 2017
August 20 -- 24, 2017, Stockholm, Sweden
http://logic.math.su.se/csl-2017
==================================================================
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). It is an interdisciplinary
conference, spanning across both basic and application oriented research
in mathematical logic and computer science and is intended for computer
scientists whose research involves logic, as well as for logicians working
on issues essential for computer science.
CSL 2017 is the 26th EACSL annual conference. It is co-organised by
Stockholm University and KTH Royal Institute of Technology, and hosted by
Stockholm University. CSL 2017 will be co-located with several other
logic-related events, taking place at Stockholm University, including the
3rd Nordic Logic Summer School, NLS 2017, August 7-11, and the Logic
Colloquium 2017 (LC 2017), August 14-20.
INVITED SPEAKERS
----------------
Invited highlight speakers for the LC-CSL joint session on August 20:
Veronica Becher (University of Buenos Aires)
Phokion Kolaitis (University of California Santa Cruz and IBM
Research - Almaden)
Pierre Simon (UC Berkeley)
Wolfgang Thomas (RWTH Aachen)
CSL plenary speakers:
Laura Kovács (Vienna University of Technology)
Stephan Kreutzer (Technische Universität Berlin)
Meena Mahajan (Institute of Mathematical Sciences, Chennai)
Margus Veanes (Microsoft Research)
CONTRIBUTED TALKS
-----------------
The call for submissions is already closed. There will be 35 full talks on
contributed papers and 8 short talks in the program of CSL 2017.
PROGRAM AND SCHEDULE
--------------------
The detailed program and schedule of CSL 2017 can be found on
http://easychair.org/smart-program/CSL2017/
SPECIAL AND AFFILIATED EVENTS
-----------------------------
In addition to the plenary and contributed talks CSL 2017, the conference
will also include the following events:
? Presentation of the Alonzo Church award for Outstanding Contributions
to Logic and Computation,
? Presentation of the EACSL Ackermann award for Outstanding
Dissertation on Logic in Computer Science,
? CSL-affiliated workshops, to be held as CSL co-located events:
? Workshop on Logic and Algorithms in Computational
Linguistics LACompLing'17 (August 16-19)
? Workshop on Logical Aspects of Multi-Agent Systems
LAMAS 2017 (August 25)
? Workshop on Logic and Automata Theory (in memory
of Zoltan Ezik) (August 25)
Further information about all events can be found on
http://logic.math.su.se/logic-in-stockholm-2017
SOCIAL PROGRAMME
----------------
The social programme of CSL 2017 will include a reception at Stockholm
City Hall on August 21, a boat trip excursion and a conference dinner on
August 23.
REGISTRATION
------------
The early registration fee, for students and participants from developing
countries, is 1800 SEK per participant, including VAT (approx. 190 EUR),
and includes coffee breaks and conference materials. For all others the
early registration fee is 2800 SEK, including VAT. Late registration is
3400 SEK for regular participants, and 2400 SEK for reduced fee
participants. A discount of 500 SEK applies if registering for both LC
2017 and CSL 2017.
The registration fee does not cover accommodation, but there are special
offers at hostels and hotels (in the range 700-1200 SEK per night for
single rooms) available.
Link for the registration page: https://www.axacoair.se/go?OCWMn95D
Late registration deadline: August 8, 2017.
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, ENS Cachan),
? Agata Ciabattoni (University of Viena),
? Thierry Coquand (University of Gothenburg),
? Mads Dam (KTH, Stockholm), PC co-chair
? Ugo Dal Lago (University of Bologna),
? Anuj Dawar (Cambridge University),
? Valentin Goranko (Stockholm University), PC co-chair
? 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 (TU Dortmund University),
? 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).
ORGANISING 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
CONTACTS AND ENQUIRIES
----------------------
With enquiries on organising matters, send email to:
CSL2017<at>philosophy.su.se
With enquiries on scientific and programme issues, send email to:
CSL2017<at>easychair.org
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam