CSL 2021

Submission timeline

• 8 Jul 2020 Full paper AoE 1 Jul 2020 → 8 Jul 2020 +7 days
• 25 Sep 2020 Notification

• 25 Jan 2021 Conference opens

What to submit

Format

15 pages LIPIcs (+ references)

Proceedings

LIPIcs — CC BY

Call for papers

• After a deadline extension CSL-2021-extended.txt · TXT · shown below
• As first published CSL-2021.txt · TXT

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at csl2021.fmf.uni-lj.si/.

Call for papers (CSL'21 - amended!)

 
Due to the exceptional circumstances this year,we have decided to change the deadlines slightly.  July 1st is now the deadline for submission of abstracts. The actual papers are expected on July 8th or before. See below for details.

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'21 will be held on January 25-28, 2021, in Ljubljana, Slovenia, at least in principle; the current sanitary crisis will quite certainly have some impact in this respect.

Submission guidelines:

Submitted papers must be 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 clearly marked 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.

The CSL 2021 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see the LIPIcs author guidelines. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference.

Papers may 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.

Update:

At least one of the authors of each accepted paper is expected to register to the conference, and present their papers, whether physically or online, depending on the situation and the available means of organisation in January 2021.

In order to submit a paper, authors are expected to submit an abstract on EasyChair at or before July 1st, 2020, anywhere on Earth.

The deadline for submitting the actual paper is July 8th, 2020, anywhere on Earth.  You may of course submit the actual paper before July 1st, 2020, if you wish.

Only the papers that obey both deadlines will be considered by the program committee.

All restrictions about concurrent submissions and resubmissions mentioned above apply to the papers only, not the abstracts. In short, in doubt, we encourage you to submit an abstract!

Important dates:

    abstract submission: July 1, 2020 (AoE: anywhere on earth)
    paper submission (new): July 8, 2020 (AoE: anywhere on earth)
    notification: September 25, 2020
    conference: January 25-28, 2021

List of topics:

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

Program Committee:

    Andreas Abel, University of Gothenburg, Sweden
    Zena M. Ariola, University of Oregon, USA
    Jeremy Avigad, Carnegie Mellon University, USA
    Christel Baier, Technische Universität Dresden, Germany (co-chair)
    Jasmin Blanchette, Vrije Universiteit Amsterdam, the Netherlands
    Jean Goubault-Larrecq, ENS Paris-Saclay, France (co-chair)
    Masahito Hasegawa, Kyoto University, Japan
    Jean-Baptiste Jeannin, University of Michigan, USA
    Michael Kaminski, Technion Haifa, Israel
    Delia Kesner, Université de Paris, France
    Laura Kovács, Vienna University of Technology, Austria
    Martin Lange, University of Kassel, Germany
    Sławomir Lasota, Warsaw University, Poland
    Florin Manea, Georg-August Universität Göttingen, Germany
    Stefan Milius, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany
    Antoine Mottet, Charles University, Czech Republic
    Andrzej Murawski, University of Oxford, UK
    Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil
    Sophie Pinchinat, IRISA Rennes, France
    Simona Ronchi Della Rocca, Università di Torino, Italy
    Krishna S, IIT Bombay, India
    Peter Selinger, Dalhousie University, Canada
    Sebastian Siebertz, Universität Bremen, Germany
    Alex Simpson, University of Ljubljana, Slovenia (organizer)
    Marie Van Den Bogaard, Université Libre de Bruxelles
    Yde Venema, Universiteit van Amsterdam, the Netherlands

Organization Committee:

    Alex Simpson  (University of Ljubljana, chair)
    Andrej Bauer  (University of Ljubljana)
    Danel Ahman  (University of Ljubljana)

Contact:

Please send all questions about submissions to the PC co-chairs: csl2021 (at) easychair.org