Difference between revisions of "CSL 2020"

Latest revision as of 14:27, 25 February 2021

CSL 2020
28th EACSL Annual Conference on Computer Science Logic
Event in series	CSL
Dates	2020/01/13 (iCal) - 2020/01/16
Homepage:	https://www.cs.upc.edu/csl2020/
Location
Location:	Barcelona, Spain
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":41.3828939,"lon":2.1774322,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	2019/07/04
Notification:	2019/09/30

Papers:	Submitted 82 / Accepted 32 (39 %)
Table of Contents

@@ Line 1: / Line 1: @@
 {{Event
 |Acronym=CSL 2020
-|Title=Annual conference of the European Association for Computer Science Logic (EACSL)
+|Title=28th EACSL Annual Conference on Computer Science Logic
 |Series=CSL
 |Type=Conference
@@ Line 10: / Line 10: @@
 |City=Barcelona
 |Country=Spain
+|Notification=2019/09/30
+|Submitted papers=82
+|Accepted papers=32
+|has Proceedings Link=https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16134
 }}
-<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
-==Topics==
-==Submissions==
-==Important Dates==
-==Committees==
-* Co-Organizers
-* General Co-Chairs
-** [[has general chair::some person]], some affiliation, country
-* PC Co-Chairs
-** [[has program chair::some person]], some affiliation, country
-* Workshop Chair
-** [[has workshop chair::some person]], some affiliation, country
-* Panel Chair
-** [[has OC member::some person]], some affiliation, country
-* Seminars Chair
-** [[has tutorial chair::some person]], some affiliation, country
-* Demonstration Co-Chairs
-** [[has demo chair::some person]], some affiliation, country
-** [[has demo chair::some person]], some affiliation, country
-* Local Organizing Co-Chairs
-** [[has local chair::some person]], some affiliation, country
-* Program Committee Members
-** [[has PC member::some person]], some affiliation, country
--->

Acronym	CSL 2020 +
End date	January 16, 2020 +
Event in series	CSL +
Event type	Conference +
Has coordinates	41° 22' 58", 2° 10' 39"Latitude: 41.382894444444 Longitude: 2.1774333333333 +
Has location city	Barcelona +
Has location country	Category:Spain +
Homepage	https://www.cs.upc.edu/csl2020/ +
IsA	Event +
Start date	January 13, 2020 +
Submission deadline	July 4, 2019 +
Title	28th EACSL Annual Conference on Computer Science Logic +