\n

The LFCS series provides an outlet for the fast-growing bod y of work in the logical foundations of computer s cience, e.g., areas of fundamental theoretical log ic related to computer science.

\n\nLFCS t opics of interest include, but are not limited to: constructive mathematics and type theory; homotop y type theory; logic, automata, and automatic stru ctures; computability and randomness; logical foun dations of programming; logical aspects of computa tional complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods i n protocol and program verification; logical metho ds in program specification and extraction; domain theory logics; logical foundations of database th eory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and top ological semantics; linear logic; epistemic and te mporal logics; intelligent and multiple agent syst em logics; logics of proof and justification; nonm onotonic reasoning; logic in game theory and socia l software; logic of hybrid systems; distributed s ystem logics; mathematical fuzzy logic; system des ign logics; other logics in computer science.

\ n\nTraditionally, LFCS symposia are located i n the spectacular Wyndham Deerfield Beach Resort, Deerfield Beach, Florida. Becau se of the ongoing pandemic, we intend to have a hy brid meeting, to allow for both physical and virtu al attendance, the details will be decided later.< /p>

\n

URL:http://lfcs.ws.gc.cuny.edu/
CONTACT:Sergei Artemov at sartemov at gc.cuny.edu
END:VEVENT
END:VCALENDAR
Submission details:

\n Pr
oceedings will be published in the Springer LNCS s
eries. Submissions should be made electronically v
ia 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 submitt
ed concurrently to another conference with referee
d proceedings.

\n A traditional post-conferenc
e volume of selected LFCS'22 papers will be publis
hed in the Journal of Logic and Computation in 202
2.

\n LFCS issues the best student paper award
named after John Barkley Rosser Sr. (1907-1989),
a prominent American logician with fundamental con
tributions in both Mathematics and Computer Scienc
e.