CSL 2018 — First Call for Papers

CSL 2018 — First Call for Papers

[European Association of Computer Science Logic]

           First 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)
    * 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.


# Submission
Submissions will be through EasyChair. For further details please see
      https://easychair.org/conferences/?conf=csl18

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


# Invited Speakers
    * To be Announced *


# 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, Univerity of Warsaw
    * Alexandra Silva, University College London





[For admin and other information see: http://www.mta.ca/~cat-dist/ ]