LFCS 2020

From Openresearch
Jump to: navigation, 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: Deerfield Beach, Florida, USA
Loading map...

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