News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

4 - 7 January 2020, Symposium on Logical Foundations of Computer Science (LFCS 2020), Deerfield Beach FL, U.S.A.

Date: 4 - 7 January 2020
Location: Deerfield Beach FL, U.S.A.
Deadline: Tuesday 10 September 2019

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.

For more information, see https://lfcs.ws.gc.cuny.edu/.

Please note that this newsitem has been archived, and may contain outdated information or links.