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>

Abstract deadline	January 6, 2020 +
Acceptance rate	39.7 +
Accepted papers	69 +
Acronym	LICS 2020 +
End date	July 11, 2020 +
Event in series	LICS +
Event type	Conference +
Has Keynote speaker	Andrew Chi-Chih Yao +, Jérôme Leroux + and Mariangiola Dezani-Ciancaglini +
Has Submitting link	https://www.easychair.org/conferences/?conf=lics2020 +
Has coordinator	Lijun Zhang + and Holger Hermanns +
Has general chair	Dale Miller +
Has location city	Saarbrücken +
Has location country	Category:Online +
Has program chair	Naoki Kobayashi +
Has workshop chair	Frédéric Blanqui +
Homepage	https://lics.siglog.org/lics20/ +
IsA	Event +
Notification	April 10, 2020 +
Paper deadline	January 10, 2020 +
Start date	July 8, 2020 +
Submission deadline	January 10, 2020 +
Submitted papers	174 +
Title	35th Annual ACM/IEEE Symposium on Logic in Computer Science +