LFCS 2018

From Openresearch
Revision as of 11:52, 25 March 2020 by OhlhoffM (talk | contribs) (Created page with "{{Event |Acronym=LFCS 2018 |Title=Symposium on Logical Foundations Of Computer Science |Series=LFCS |Type=Conference |Start date=2018/01/08 |End date=2018/01/11 |Submission de...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
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 %)
Committees
Organizers: Robert Lubarsky
General chairs: Anil Nerode
PC members: Sergei Artemov, Eugene Asarin, Steve Awodey, Matthias Baaz, Lev Beklemishev
Table of Contents