Difference between revisions of "CSL 2017"
Jump to navigation
Jump to search
Line 28: | Line 28: | ||
==Submissions== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
+ | Submissions:<br> | ||
+ | *Abstracts of regular papers: March 24, 2017<br> | ||
+ | *Regular papers: March 31, 2017<br> | ||
+ | *Abstracts of short presentations: June 4, 2017<br> | ||
+ | |||
+ | Notification:<br> | ||
+ | *Regular papers: May 31, 2017<br> | ||
+ | *Short presentations: June 14, 2017<br> | ||
+ | |||
+ | Events:<br> | ||
+ | *Joint LC/CSL special session: August 20, 2017<br> | ||
+ | *Main conference: August 20–24, 2017<br> | ||
+ | *Satellite workshops: August 16–19 & 25, 2017<br> |
Revision as of 11:14, 27 August 2021
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 |
Location | |
Location: | Stockholm, Sweden |
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