Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS’20), Deerfield Beach, Florida, January 4-7, 2020.

LFCS Steering Committee: Anil Nerode, (Ithaca, NY, General Chair); Stephen Cook (Toronto); Dirk van Dalen (Utrecht); Yuri Matiyasevich (St.Petersburg, Russia); Samuel Buss (San Diego); Gerald Sacks (Cambridge, MA); Andre Scedrov (Philadelphia, PA); Dana Scott, (Pittsburgh, PA - Berkeley, CA).

LFCS topics of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity;  logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification;  logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.

LFCS’20 Program Committee: Sergei Artemov (New York, NY) - PC Chair; Eugene Asarin (Paris); Steve Awodey (Pittsburgh, PA); Lev Beklemishev (Moscow); Andreas Blass (Ann Arbor, MI); Samuel Buss (San Diego, CA); Robert Constable (Ithaca, NY); Thierry Coquand (Göteborg); Valeria de Paiva (Cupertino, CA); Ruy de Queiroz (Recife); Nachum Dershowitz (Tel Aviv); Melvin Fitting (New York, NY); Sergey Goncharov (Novosibirsk); Denis Hirschfeldt (Chicago, IL); Rosalie Iemhoff (Utrecht); Hajime Ishihara (JAIST - Kanazawa); Bakhadyr Khoussainov (Auckland); Roman Kuznets (Vienna); Daniel Leivant (Bloomington, IN); Robert Lubarsky (Boca Raton, FL); Victor Marek (Lexington, KY); Lawrence Moss (Bloomington, IN); Anil Nerode (Ithaca, NY) - General LFCS Chair; Hiroakira Ono (JAIST - Kanazawa);  Alessandra Palmigiano (Delft); Ramaswamy Ramanujam (Chennai); Michael Rathjen (Leeds); Helmut Schwichtenberg (Munich); Sebastiaan Terwijn (Nijmegen).

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://easychair.org/conferences/?conf=lfcs2020

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. Submissions deadline: midnight September 16, 2019, any time zone (extended!) Notification: October 10, 2019. Symposium dates: January 4–7, 2020.

Local Arrangements. The venue of LFCS 2020 will be the spectacular Wyndham Deerfield Beach Resort, 2096 NE 2nd Street, Deerfield Beach, Florida 33441. Website: http://www.wyndhamdeerfieldresort.com

LFCS’20 Local Organizing Committee Chair is Robert Lubarsky, Florida Atlantic University.

Further Information about LFCS’20: https://lfcs.ws.gc.cuny.edu/lfcs-2020/

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