Difference between revisions of "CSL 2017"

Revision as of 11:05, 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
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":59.3251172,"lon":18.0710935,"icon":""}],"imageoverlays":null}

Papers:	Submitted 76 / Accepted 35 (46.1 %)
Table of Contents
Contents 1 Topics 2 Submissions 3 Important Dates

,

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

@@ Line 12: / Line 12: @@
 |Country=Sweden
 |presence=presence
+|Submitted papers=76
+|Accepted papers=35
+|has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol82-csl2017-complete.pdf
+|has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2017.0
+|has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16043
 }}
 The 26th EACSL Annual Conference on Computer Science Logic (CSL) 2017