CSL 2017

From Openresearch
Revision as of 11:16, 27 August 2021 by Tolga.karaarslan (talk | contribs)
Jump to navigation Jump to search
CSL 2017
26th EACSL Annual Conference on Computer Science Logic
Ordinal 26
Event in series CSL
Dates 2017/08/20 (iCal) - 2017/08/24
Presence presence
Homepage: https://www.math-stockholm.se/konferenser-och-akti/logic-in-stockholm-2/26th-eacsl-annual-co/computer-science-logic-2017-august-20-24-1.717700
Submitting link: https://www.axacoair.se/go?OCWMn95D
Location
Location: Stockholm, Sweden
Loading map...

Important dates
Abstracts: 2017/03/24
Papers: 2017/03/31
Notification: 2017/05/31
Papers: Submitted 98 / Accepted 35 (35.7 %)
Committees
Organizers: Mads Dam, Valentin Goranko
General chairs: Erik Palmgren
PC chairs: Valentin Goranko
Workshop chairs: Dilian Gurov
Table of Contents

,



The 26th EACSL Annual Conference on Computer Science Logic (CSL) 2017


Topics

Submissions

Important Dates

Submissions:

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

Notification:

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

Events:

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