7-10 Sep 2015
Berlin, Germany
_____________________________________________________________________
CSL 2015
COMPUTER SCIENCE LOGIC 2015
Berlin, 7 - 10 September 2015
http://logic.las.tu-berlin.de/csl2015/
Call for Papers
_____________________________________________________________________
AIM AND SCOPE
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference is
intended for computer scientists whose research activities involve
logic, as well as for logicians working on issues significant for
computer science.
LOCATION
The 24th EACSL Annual Conference on Computer Science Logic will be
held at the Technical University Berlin from Monday, 7 September 2015
to Thurday, 10 September 2015.
LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE)
? automated deduction and interactive theorem proving
? constructive mathematics and type theory
? equational logic and term rewriting
? automata and games, game semantics
? modal and temporal logic
? model checking
? decision procedures
? logical aspects of computational complexity
? finite model theory
? computational proof theory
? bounded arithmetic and propositional proof complexity
? logic programming and constraints
? lambda calculus and combinatory logic
? domain theory
? categorical logic and topological semantics
? database theory
? specification, extraction and transformation of programs
? logical aspects of quantum computing
? logical foundations of programming paradigms
? verification and program analysis
? linear logic
? higher-order logic
? nonmonotonic reasoning
INVITED SPEAKERS
* Martn Abadi (Google and Santa Cruz)
* Elham Kashefi (Edinburgh)
* Markus Lohrey (Siegen)
* Ryan Williams (Stanford)
IMPORTANT DATES
Abstract submission: 3 April 2015
Paper Submission: 10 April 2015
Paper Notification: 13 June 2015
Conference: 7 - 10 September 2015
SUBMISSION
Authors are invited to submit papers of not more than 15 pages in
LIPIcs style presenting work not previously published. Papers are to
be submitted through Easychair. Submitted papers must be in English
and must provide sufficient detail to allow the PC to assess the
merits of the paper. Full proofs may appear in a technical appendix
which will be read at the reviewers' discretion. Authors are strongly
encouraged to include a well written introduction which is directed at
all members of the program committee.
The submission process is handled by EasyChair. The link to the
submission server is https://easychair.org/conferences/?conf=csl2015.
The server is now open.
The submission is in two stages. Abstract submissions are due on 3
April 2015. Full paper submissions must be done on or before 10 April
2015.
Papers must not be submitted concurrently to another conference with
refereed proceedings. The PC chair should be informed of closely
related work submitted to a conference or a journal. Papers authored
or co-authored by members of the Programme Committee are not allowed.
SATELLITE EVENTS
* The 11th International Workshop on Fixed Points in Computer Science
(FICS'15)
will be held on 11 and 12 September 2015 as a co-located event of CSL?15.
* YuriFest: we will celebrate Yuri Gurevich?s 75th birthday with a
symposium in his honour on 11 and 12 September 2015 as a co-located event
of CSL?15.
* The annual meeting of the GI Fachgruppe Logik will be organised at
the Technical University Berlin in conjunction with CSL'15.
PROGRAMME COMMITTEE
? Albert Atserias (Universitat Politcnica de Catalunya, Barcelona)
? Achim Blumensath (Technical University Darmstadt)
? Mikolaj Bojanczyk (Warsaw University)
? Maria Paola Bonacina (Universit degli Studi di Verona)
? Patricia Bouyer-Decitre (LSV, CNRS & ENS de Cachan)
? Ugo Dal Lago (Universit di Bologna)
? Maribel Fernndez (King's College London)
? Richard Garner (Macquarie University, Sydney)
? Rajeev Gor (Australian National University, Canberra)
? Stphane Graham-Lengrand (CNRS & cole Polytechnique, Paris-Saclay)
? Martin Grohe (RWTH Aachen University)
? Lauri Hella (University of Tampere)
? Martin Hofmann (Ludwig-Maximilians-University Munich)
? Stephan Kreutzer (Technical University Berlin, pc chair)
? Martin Lange (University of Kassel)
? Luigi Santocanale (LIF, Aix-Marseille Universit & CNRS)
? Alexandra Silva (Radboud University Nijmegen)
? Alex Simpson (University of Edinburgh)
? Sonja Smets (University of Amsterdam)
? Makoto Tatsuta (National Institute of Informatics, Tokyo)
? Kazushige Terui (Kyoto University)
? James Benjamin Worrell (University of Oxford)
? Nobuko Yoshida (Imperial College London)
ORGANISING COMMITTEE:
? Christoph Dittmann (Technical University Berlin)
? Viktor Engelmann (Technical University Berlin)
? Stephan Kreutzer (Technical University Berlin, Chair)
? Jana Pilz (Technical University Berlin)
? Roman Rabinovich (Technical University Berlin)
? Sebastian Siebertz (Technical University Berlin)