4 - 7 January 2020, Symposium on Logical Foundations of Computer Science (LFCS 2020), Deerfield Beach FL, U.S.A.
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.
Proceedings will be published in the Springer LNCS series. Submissions should be made electronically via easychair. Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings.
LFCS issues the best student paper award named after John Barkley Rosser Sr. (1907-1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science.