CSL 2017
Revision as of 11:16, 27 August 2021 by Tolga.karaarslan (talk | contribs)
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 |
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