LFCS 2016

From Openresearch
Jump to: navigation, search
LFCS 2016
Symposium on Logical Foundations Of Computer Science
Event in series LFCS
Dates 2016/01/04 (iCal) - 2016/01/07
Homepage: https://lfcs.ws.gc.cuny.edu/lfcs-2016/
Submitting link: Easychair
Location: Deerfield Beach, Florida, USA
Loading map...

Important dates
Papers: 2015/09/13
Submissions: 2015/09/13
Papers: Submitted 46 / Accepted 27 (58.7 %)
General chairs: Anil Nerode
PC members: Sergei Artemov, Eugene Asarin, Steve Awodey, Matthias Baaz, Alexandru Baltaq
Table of Contents