View source for LICS 2020

{{Event
|Acronym=LICS 2020
|Title=IEEE Symposium on Logic in Computer Science
|Series=LICS
|Type=Conference
|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
|Abstract deadline=2020/01/06
|Notification=2020/04/10
}}
<!-- 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 +