[logic-ml] LFCS 2020 CFP, deadline extension till Sept 16

[Hajime Ishihara]

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.