Logic in Stockholm 2017

NLS Summer School in Logic 2017

Logic Colloquium 2017

26th EACSL Annual Conference on Computer Science Logic CSL'2017

The event

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.

Our poster for CSL'2017 can be found here.

CSL'2017 will be the 26th edition in the series. It will be co-organised by Stockholm University (SU) and KTH Royal Institute of Technology, Stockholm, and will be colocated with the Logic Colloquium 2017 (August 14-20, 2017) organised at Stockholm University.

Important Dates


  • Abstracts of regular papers: March 24, 2017
  • Regular papers: March 31, 2017
  • Abstracts of short presentations: June 4, 2017


  • Regular papers: May 31, 2017
  • Short presentations: June 14, 2017


  • Joint LC/CSL special session: August 20, 2017
  • Main conference: August 20-24, 2017
  • Satellite workshops: August 16-19 & 25, 2017

Registration deadlines

  • Early registration: June 20, 2017
  • Late registration: August 8, 2017


The CSL2017 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs).

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

The submission of contributed papers will be in two stages:

  • abstracts, due by March 24, 2017 (AoE);
  • full papers, due by March 31, 2017 (AoE).

The submissions must be done via the EasyChair page for the conference.

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.

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.

Abstracts for short oral presentations must be submitted through the Easychair submission webpage, under the category "short presentations", by June 4, 2017. They will not be included in the proceedings.

Selected papers will be invited to a special issue of the online open access journal Logical Methods in Computer Science, https://lmcs.episciences.org.

Special sessions

In addition to the plenary and contributed talks CSL2017, the conference will also include the following special sessions:

  • Joint session of CSL2017 and LC2017 in the morning of August 20, consisting of four plenary highlight talks, offered by speakers from both conferences,
  • Presentation of the Alonzo Church award for Outstanding Contributions to Logic and Computation,
  • Presentation of the EACSL Ackermann award for Outstanding Dissertation on Logic in Computer Science.

Social programme


Location and venue

The conference will take place during August 20-24, 2017 in Stockholm, Sweden. The venue will be in Frescati campus, the main campus of Stockholm University, see description and campus maps here: and here.

More information can be found on our main page Logic in Stockholm 2017.


The co-chairs of the Organizing committee of CSL'2017 are Mads Dam (KTH), Valentin Goranko (SU) and Erik Palmgren (SU). The programme co-chairs of CSL'2017 are Mads Dam and Valentin Goranko. For enquiries on both scientific and organisational matters, send email to csl2017pc <at> gmail.com.

Organized by