LICS 2018

From Openresearch
Jump to: navigation, search
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...

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 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2018


Topics

Submissions

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