<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-text-html" lang="x-unicode">
<div dir="ltr">
<div class="gmail_default">
<div class="gmail_default"><span class="gmail-Apple-tab-span" style="white-space:pre"> </span>FIRST
CALL FOR PAPERS</div>
<div class="gmail_default">Symposium on LOGICAL FOUNDATIONS OF
COMPUTER SCIENCE (LFCS '18), </div>
<div class="gmail_default">Deerfield Beach, Florida, January
8-11, 2018.</div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">LFCS GENERAL CHAIR: Anil Nerode. </div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">LFCS STEERING COMMITTEE: Anil
Nerode, (Ithaca); Stephen Cook (Toronto); Dirk van Dalen
(Utrecht); Yuri Matiyasevich (St. Petersburg); Samuel Buss
(San Diego); Gerald Sacks (Cambridge, MA); Dana Scott,
(Pittsburgh, PA - Berkeley, CA).</div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">LFCS ’18 PROGRAM COMMITTEE: Sergei
Artemov (New York, NY) - PC Chair; Eugene Asarin (Paris);
Steve Awodey (Pittsburgh, PA); Matthias Baaz (Vienna); Lev
Beklemishev (Moscow); Andreas Blass (Ann Arbor, MI); Samuel
Buss (San Diego, CA); Robert Constable (Ithaca, NY); Thierry
Coquand (Göteborg); Michael Fellows (Bergen), Melvin Fitting
(New York); Sergey Goncharov (Novosibirsk); Denis
Hirschfeldt (Chicago, IL); Martin Hyland (Cambridge);
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); Jeffrey Remmel (San Diego); Andre Scedrov
(UPenn); Helmut Schwichtenberg (Munich); Philip Scott
(Ottawa); Alex Simpson (Ljubljana); Sonja Smets (Amsterdam);
Sebastiaan Terwijn(Nijmegen).</div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">LFCS ’18 LOCAL ORGANIZING COMMITTEE
CHAIR: Robert Lubarsky.</div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">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.</div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">SUBMISSION DETAILS. Proceedings
will be published in the Springer LNCS series. There will be
a post-conference volume of selected works published.
Submissions should be made electronically via <a
href="http://www.easychair.org/LFCS18/">http://www.easychair.org/LFCS18/</a>.
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. </div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">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.</div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">IMPORTANT DATES. Submissions
deadline: September 10, 2017, any time zone. Notification:
October 10, 2017.</div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">LOCAL ARRANGEMENTS. The venue of
LFCS ’18 will be the spectacular Wyndham Deerfield Beach
Resort, 2096 NE 2nd Street, Deerfield Beach, Florida 33441.
Website: <a href="http://www.wyndhamdeerfieldresort.com">http://www.wyndhamdeerfieldresort.com</a></div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">Further Information about LFCS
symposia: <a href="http://lfcs.ws.gc.cuny.edu/">http://lfcs.ws.gc.cuny.edu/</a></div>
<div class="gmail_default"><br>
</div>
<div class="gmail_default">About LFCS. </div>
<div class="gmail_default">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. The LFCS series began
with Logic at Botik, Pereslavl-Zalessky, 1989 and was
co-organized by Albert R. Meyer (MIT) and Michael Taitslin
(Tver), after which organization passed to Anil Nerode in
1992. LFCS has enjoyed support and endorsements from a
number of bodies, including the US National Science
Foundation (NSF) and the City University of New York
Research Foundation. </div>
<div class="gmail_default" style="font-size:small"><br>
</div>
</div>
</div>
</div>
</body>
</html>