LFCS 2020

From Openresearch
Revision as of 19:53, 1 April 2022 by Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
LFCS 2020
Symposium on Logical Foundations Of Computer Science 2020
Event in series LFCS
Dates 2020/01/04 (iCal) - 2020/01/07
Homepage: https://lfcs.ws.gc.cuny.edu/lfcs-2020
Location
Location: Deerfield Beach, Florida, USA
Loading map...

Important dates
Submissions: 2019/09/10
Notification: 2019/10/10
Committees
General chairs: Anil Nerode
PC members: Sergei Artemov, Eugene Asarin, Steve Awodey (, Lev Beklemishev, Andreas Blass
Table of Contents