January 4-7, 2016

Deerfield Beach, Florida, U.S.A.

Call for Papers

Submission deadline: midnight September 7 September 13, 2015 (EXTENDED), any time zone

LFCS Steering Committee:

Anil Nerode, Ithaca, NY (General Chair)
Stephen Cook, Toronto
Dirk van Dalen, Utrecht
Yuri Matiyasevich, St. Petersburg
J. Alan Robinson, Syracuse, NY
Gerald Sacks, Cambridge, MA
Dana Scott, Pittsburgh, PA – Berkeley, CA

LFCS Topics:

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
• 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’16 Program Committee:

• Sergei Artemov (New York, NY) – PC Chair
• Eugene Asarin (Paris)
• Steve Awodey (Pittsburgh, PA)
• Matthias Baaz (Vienna)
• Alexandru Baltaq (Amsterdam)
• Lev Beklemishev (Moscow)
• Andreas Blass (Ann Arbor, MI)
• Samuel Buss (San Diego, CA)
• Robert Constable (Ithaca, NY)
• Thierry Coquand (Göteborg)
• Ruy de Queiroz (Recife)
• Nachum Dershowitz (Tel Aviv)
• Melvin Fitting (New York)
• Sergey Goncharov (Novosibirsk)
• Denis Hirschfeldt (Chicago, IL)
• Martin Hyland (Cambridge)
• Rosalie Iemhoff (Ultrecht)
• 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)
• Ramaswamy Ramanujam (Chennai)
• Michael Rathjen (Leeds)
• Jeffrey Remmel (San Diego)
• Helmut Schwichtenberg (Munich)
• Philip Scott (Ottawa)
• Alex Simpson (Ljubljana)
• Sonja Smets (Amsterdam)
• Sebastiaan Terwijn (Nijmegen)
• Alasdair Urquhart (Toronto)

Submission details:

Proceedings will be published in the LNCS series.  There will be a post-conference volume of selected works published in the Annals of Pure and Applied Logic. 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.

Important Dates:

• Submissions deadline: midnight September 7 September 13, 2015 (EXTENDED), any time zone
• Notification: October 15, 2015
• Symposium dates: January 4 morning – January 7 early afternoon, 2016

Local Arrangements:

About LFCS

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. Further Information about LFCS’16 will be posted at http://lfcs.info/lfcs-2016/