LICS 2018

LICS 2018
33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Event in series	LICS
Dates	2018/07/09 (iCal) - 2018/07/12
Homepage:	http://lics.siglog.org/lics18/
Submitting link:	https://www.easychair.org/conferences/?conf=lics2018
Location
Location:	Oxford, United Kingdom
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":51.7520131,"lon":-1.2578499,"icon":""}],"imageoverlays":null}
Important dates
Abstracts:	2018/01/24
Papers:	2018/01/31
Submissions:	2018/01/31
Notification:	2018/03/31
Keynote speaker:	Thierry Coquand, Javier Esparza, Shafi Goldwasser, Ursula Martin, Val Tannen
Table of Contents

The following coordinate was not recognized: Geocoding failed.

The following coordinate was not recognized: Geocoding failed.

,

The 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2018

Important Dates

Titles and Short Abstracts Due: 24 January 2018
Full Papers Due: 31 January 2018
Author Feedback/Rebuttal Period: 14–18 March 2018
Author Notification: 31 March 2018
Final Versions Due for Proceedings: 1 May 2018
Early Registration Deadline: 6 June 2018
Conference: 9–12 July 2018