LICS 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/
Submitting link:	https://www.easychair.org/conferences/?conf=lics2020
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
Abstracts:	2020/01/06
Papers:	2020/01/10
Submissions:	2020/01/10
Notification:	2020/04/10
Table of Contents

,

The 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2020

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

Titles and Short Abstracts Due 6 January 2020
Full Papers Due 10 January 2020
Author Response Period 16–20 March 2020
Author Notification 10 April 2020
Conference 8–12 July 2020