Difference between revisions of "LICS 2020"

Revision as of 10:24, 8 July 2020

LICS 2020
IEEE Symposium on Logic in Computer Science
Event in series	LICS
Dates	2020/07/08 (iCal) - 2020/07/11
Homepage:	https://lics.siglog.org/lics20/
Location
Location:	Saarbrücken, Germany
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":49.234362,"lon":6.996379,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	2020/01/10

Table of Contents

,

@@ Line 6: / Line 6: @@
 |Start date=2020/07/08
 |End date=2020/07/11
+|Submission deadline=2020/01/10
 |Homepage=https://lics.siglog.org/lics20/
 |City=Saarbrücken
 |Country=Germany
 }}
+<!-- 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==
+Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. The exact deadline time on these dates is given by anywhere on earth (AoE).<br>
+Titles and Short Abstracts Due 6 January 2020<br>
+Full Papers Due 10 January 2020<br>
+Author Response Period 16–20 March 2020<br>
+Author Notification 10 April 2020<br>
+Conference 8–12 July 2020<br>

Acronym	LICS 2020 +
End date	July 11, 2020 +
Event in series	LICS +
Event type	Conference +
Has coordinates	49° 14' 4", 6° 59' 47"Latitude: 49.234361111111 Longitude: 6.9963777777778 +
Has location city	Saarbrücken +
Has location country	Category:Germany +
Homepage	https://lics.siglog.org/lics20/ +
IsA	Event +
Start date	July 8, 2020 +
Submission deadline	January 10, 2020 +
Title	IEEE Symposium on Logic in Computer Science +