CSL 2017

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 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

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