Logical Foundations of Computer Science (LFCS) 2022: Call for Papers

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 series has enjoyed support and endorsements from a number of bodies, including the US National Science Foundation (NSF), Association for Symbolic Logic (ASL), Cornell University, and the City University of New York Research Foundation.

LFCS 2022

• Dates: January 10-13, 2022
• Format: Held in an online format due to the pandemic.
• Proceedings: Published in the Springer LFCS 2022 volume, LNCS 13137, available online.

Submission Details

• Submission Deadline: September 17, 2021
• Submission Portal: https://easychair.org/my/conference?conf=lfcs22
• Format: PDF, 12pt font.
• Length: No more than 15 pages.
• Requirements: Present work not previously published and not submitted concurrently to another conference with refereed proceedings.
• Post-conference Volume: Selected works will be published in the Journal of Logic and Computation (Oxford Journals) in 2022.

Topics of Interest

Topics 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

Important Dates

• Submissions deadline: September 17, 2021
• Notification: October 10, 2021
• Symposium dates: January 10 – January 13, 2022

Best Student Paper Award

LFCS issues the best student paper award, The Rosser Prize, named after John Barkley Rosser Sr.

Sponsorships

• The US National Science Foundation (NSF) – expected
• Association for Symbolic Logic (ASL)
• The City University of New York Research Foundation

Local Arrangements (LFCS 2022 Originally Planned Venue)

• Venue: Wyndham Deerfield Beach Resort, 2096 NE 2nd Street, Deerfield Beach, Florida 33441.
• Website: https://www.wyndhamdeerfieldresort.com
• LFCS’22 Local Organizing Committee Chair: Robert Lubarsky – Florida Atlantic University.
• Hotel Reservations: https://www.wyndhamhotels.com/wyndham/deerfield-beach-florida/wyndham-deerfield-beach-resort/rooms-rates?&checkInDate=01/09/2022&checkOutDate=01/13/2022&groupCode=010922FAU

Contact

To get a Zoom link for the online sessions, write to <lfcs22@easychair.org>.