Logic List Mailing Archive

CSL 2018: Computer Science Logic

4-7 Sep 2018
Birmingham, England

Final Call for Papers
========================================
       Computer Science Logic 2018
        Birmingham, United Kingdom
              4?7 September

   <http://events.cs.bham.ac.uk/csl18/>
========================================


# Important Dates
   * Abstract Submission: 7 April 2018 (AoE)
   * Paper Submission: 14 April 2018 (AoE)
   * Author Notification: 14 June 2018


# The Conference
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. CSL 2018 will be the 27th edition in 
the series. It will be organised by the School of Computer Science of the 
University of Birmingham.


# Proceedings
Proceedings will be published in the Leibniz International Proceedings in 
Informatics (LIPIcs). After the conference, selected papers will be invited to 
a special issue of the online open access journal Logical Methods in Computer 
Science.


# Submission
Submission will be through EasyChair. Papers should be no more than 15 pages 
(excluding references) in LIPIcs style and may not be submitted concurrently to 
another conference with refereed proceedings.

For further details please see
     <https://easychair.org/cfp/CSL18>


# Invited Speakers
   * Bob Coecke
     University of Oxford
   * Emmanuel Filiot
     Université Libre de Bruxelles
   * Catuscia Palamidessi
     École Polytechnique
   * Christine Tasson
     Université Paris Diderot
   * Szymon Toru?czyk,
     Uniwersytet Warszawksi


# Programme Committee
   * Christel Baier, TU Dresden
   * Martin Berger, University of Sussex
   * Lars Birkedal, Aarhus University
   * Veronique Bruyere, University of Mons
   * Agata Ciabattoni, TU Wien
   * Ugo Dal Lago, University of Bologna
   * Ross Duncan, University of Strathclyde
   * Jamie Gabbay, Heriot-Watt University
   * Marco Gaboardi, University at Buffalo, SUNY
   * Dan R. Ghica, University of Birmingham (Co-chair)
   * Russ Harmer, CNRS & ENS Lyon
   * Achim Jung, University of Birmingham (Co-chair)
   * Juha Kontinen, University of Helsinki
   * Jean Krivine, Université Paris Diderot & IRIF
   * Slawek Lasota, University of Warsaw
   * Marina Lenisa, University of Udine
   * Anca Muscholl, University of Bordeaux
   * Wied Pakusa, RWTH Aachen University
   * Daniela Petrisan, Université Paris Diderot
   * Sebastian Siebertz, University of Warsaw
   * Alexandra Silva, University College London



--
[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