Revision history of "LICS 2020"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

Retrieved from "https://www.openresearch.org/wiki/LICS_2020"
Facts about "LICS 2020"
RDF feed
Abstract deadlineJanuary 6, 2020 +
Acceptance rate39.7 +
Accepted papers69 +
AcronymLICS 2020 +
End dateJuly 11, 2020 +
Event in seriesLICS +
Event typeConference +
Has Keynote speakerAndrew Chi-Chih Yao +, Jérôme Leroux + and Mariangiola Dezani-Ciancaglini +
Has Submitting linkhttps://www.easychair.org/conferences/?conf=lics2020 +
Has coordinatorLijun Zhang + and Holger Hermanns +
Has general chairDale Miller +
Has location citySaarbrücken +
Has location countryCategory:Online +
Has program chairNaoki Kobayashi +
Has workshop chairFrédéric Blanqui +
Homepagehttps://lics.siglog.org/lics20/ +
IsAEvent +
NotificationApril 10, 2020 +
Paper deadlineJanuary 10, 2020 +
Start dateJuly 8, 2020 +
Submission deadlineJanuary 10, 2020 +
Submitted papers174 +
Title35th Annual ACM/IEEE Symposium on Logic in Computer Science +