[FOM] Please post: LFCS 2020 deadline extended till Sept 16

[Artemov, Sergei]

Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS’20), Deerfield Beach, Florida, January 4-7, 2020.
https://urldefense.proofpoint.com/v2/url?u=https-3A__lfcs.ws.gc.cuny.edu_lfcs-2D2020_&d=DwIF-g&c=slrrB7dE8n7gBJbeO0g-IQ&r=xXZM6ZrkjVxXknjzIxhAvQ&m=YRBS6EHqeJQ04x2EV6h3eZDF6DiDHcdNOF8Y6KPnpNs&s=RoQqoGieb4gOxqBxXbb76LQ2cQpWprafVIpe4-JeDGY&e= 

Submissions deadline: midnight September 16, 2019, any time zone (extended!)

LFCS General Chair: Anil Nerode, (Ithaca, NY)
LFCS’20 Program Committee Chair Sergei Artemov (New York, NY) 
LFCS’20 Local Organizing Committee Chair is Robert Lubarsky, Florida Atlantic University.

Submission details.
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. 
Submission page: https://urldefense.proofpoint.com/v2/url?u=https-3A__easychair.org_conferences_-3Fconf-3Dlfcs2020&d=DwIF-g&c=slrrB7dE8n7gBJbeO0g-IQ&r=xXZM6ZrkjVxXknjzIxhAvQ&m=YRBS6EHqeJQ04x2EV6h3eZDF6DiDHcdNOF8Y6KPnpNs&s=ZlN6uv0RQsUXLUa_5q-hkO-Tf4X4c2VYgin74cmTIzU&e= 

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.

Important Dates.
Notification: October 10, 2019.
Symposium dates: January 4–7, 2020.

Sponsorships: The US National Science Foundation (pending), Association for Symbolic Logic, Cornell University, The City University of New York Research Foundation.