CSL: Computer Science Logic



Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
CSL 2016 25th EACSL Annual Conference on Computer Science Logic
Aug 29, 2016 - Sep 1, 2016 Marseille, France Apr 15, 2016 (Apr 8, 2016)
Sep 7, 2015 - Sep 10, 2015 Berlin Apr 10, 2015 (Apr 3, 2015)
CSL 2013 22nd EACSL Annual Conference on Computer Science Logic
Sep 2, 2013 - Sep 5, 2013 Torino, Italy Apr 8, 2013 (Apr 1, 2013)
CSL 2012 21th EACSL Annual Conferences on Computer Science Logic
Sep 3, 2012 - Sep 6, 2012 Fontainebleau, France Apr 9, 2012 (Apr 2, 2012)
CSL 2011 20th Annual Conference of the European Association for Computer Science Logic
Sep 12, 2011 - Sep 15, 2011 Bergen, Norway Apr 3, 2011 (Mar 27, 2011)
CSL 2010 Computer Science Logic
Aug 23, 2010 - Aug 27, 2010 Brno, Czech Rep. Apr 2, 2010 (Mar 26, 2010)
CSL 2009 18th EACSL Annual Conference on Computer Science Logic
Sep 7, 2009 - Sep 11, 2009 Coimbra, Portugal Apr 6, 2009 (Mar 30, 2009)

Present CFP : 2016


CSL 2016
25th EACSL Annual Conference on
Computer Science Logic

August 29 -- September 1, 2016, Marseille, France


Abstract submission: April 8, 2016
Paper submission: April 15, 2016
Notification: June 11, 2016

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. CSL 2016 is the 25th EACSL annual conference, and will
be organized by Aix-Marseille Université in Marseille, France.


Suggested topics of interest include (but are not limited to):

* 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

Libor Barto - University of Prague, Czech Republic
Agata Ciabattoni - University of Vienna, Austria
Anca Muscholl - University of Bordeaux, France
Alexandra Silva - University College, London, UK

Satellite events

Three affiliated workshops will be held as co-located events in the
days following the conference:

LCC'16: Logic and Computational Complexity 2016 (September 2 and 3)
PLRR: Parametricity, Logical Relations and Realizability (September 2)
QSLC: Quantitative Semantics of Logic and Computation (September 2 and 3)

Submission guidelines

We expect that the CSL 2016 conference proceedings will be published
in Leibniz International Proceedings in Informatics (LIPIcs).

Authors are invited to submit papers of no more than 15 pages in LIPIcs
style (including references) presenting work not previously published,
fitting the scope of the conference.

The submission is in two stages:
* abstracts are due on April 8, 2016 (AoE);
* final papers are due on April 15, 2016 (AoE).

Both stages must be done via the EasyChair page for the conference:


Submitted papers must be written in English and must provide sufficient
detail to allow the Programme Committee 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 PC.

Papers must not be submitted concurrently to another conference with
refereed proceedings. The PC chairs should be informed of closely related
work submitted to a conference or a journal. Papers authored or
co-authored by members of the PC are not allowed.

Programme Committee

Christel Baier – Technische Universität Dresden, Germany
Mickael Benedikt – University of Oxford, UK
Manuel Bodirsky – Technische Universität Dresden, Germany
Sam Buss – University of California, USA
Luis Caires – Universidade Nova de Lisboa, Portugal
Giovanna D’Agostino – University of Udine, Italy
Thomas Ehrhard – CNRS Université Paris Diderot, France
Emmanuel Filiot – Université Libre de Bruxelles, Belgium
Silvio Ghilardi – Università degli Studi di Milano, Italy
Valentin Goranko – Stockholm University, Sweden
Anna Ingólfsdóttir – Reykjavik University, Iceland
Laura Kovács – Chalmers University of Technology, Sweden
Marta Kwiatkowska – University of Oxford, UK
Christof Löding – RWTH Aachen University, Germany
Assia Mahboubi – INRIA Saclay Ile-de-France, France
Guy McCusker – University of Bath, UK
Magdalena Ortiz – TU Wien, Austria
Sophie Pinchinat – Université de Rennes 1, France
Laurent Regnier – Aix-Marseille Université, France (co-chair)
Sylvain Salvati – Université de Bordeaux, France
Ulrike Sattler – University of Manchester, UK
Peter Selinger – Dalhousie University, Canada
Thomas Streicher – Technische Universität Darmstadt, Germany
Jean-Marc Talbot – Aix-Marseille Université, France (co-chair)
Paweł Urzyczyn – Uniwersytet Warszawski, Poland
Luca Viganò – King’s College London, UK

Organising Committee

* Emmanuel Beffara
* Benjamin Monmege
* Luigi Santocanale
* Laurent Regnier (co-chair)
* Pierre-Alain Reynier
* Jean-Marc Talbot (co-chair)
* Lionel Vaux

(all from Aix-Marseille Université, Marseille, France)

Related Resources

SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
SIGPRO 2020   6th International Conference on Signal and Image Processing
MDPI SI-IoT-ASI 2020   *Free of charge* Special Issue of Journal Applied System Innovation: Internet of Things (IOT)
EMSA 2020   9th International Conference on Embedded Systems and Applications
ICNCSG 2021   3rd International Conference on New Computer Science Generation
SAS 2020   Static Analysis Symposium, SAS 2020
KJAR 2020   Call for Paper: Kurdistan Journal of Applied Research - Volume 5 - issue 1 - June 2020
CSIA 2020   11th International Conference on Communications Security & Information Assurance (CSIA 2020)