Difference between revisions of "CSL 2017"
Jump to navigation
Jump to search
Line 12: | Line 12: | ||
|Country=Sweden | |Country=Sweden | ||
|presence=presence | |presence=presence | ||
+ | |Has coordinator=Mads Dam, Valentin Goranko | ||
+ | |has general chair=Erik Palmgren | ||
+ | |has program chair=Valentin Goranko | ||
+ | |has workshop chair=Dilian Gurov | ||
|Submitted papers=98 | |Submitted papers=98 | ||
|Accepted papers=35 | |Accepted papers=35 |
Revision as of 11:09, 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