LFCS 2018

From Openresearch
Jump to: navigation, search
LFCS 2018
Symposium on Logical Foundations Of Computer Science
Event in series LFCS
Dates 2018/01/08 (iCal) - 2018/01/11
Homepage: https://lfcs.ws.gc.cuny.edu/lfcs-2018/
Submitting link: https://easychair.org/conferences/?conf=lfcs2018
Location: Deerfield Beach, Florida, USA
Loading map...

Important dates
Papers: 2017/09/15
Submissions: 2017/09/15
Notification: 2017/10/10
Papers: Submitted 22 / Accepted 22 (100 %)
Organizers: Robert Lubarsky
General chairs: Anil Nerode
PC members: Sergei Artemov, Eugene Asarin, Steve Awodey, Matthias Baaz, Lev Beklemishev
Table of Contents