\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

\n

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

\n
Proceedings will be published in the Springer LNCS
series. Submissions should be made electronically
via easychair. Submitted papers must be in pdf/12
pt format and of no more than 15 pages, present wo
rk not previously published, and must not be submi
tted concurrently to another conference with refer
eed proceedings.

\n A traditional post-confere
nce volume of selected LFCS'22 papers will be publ
ished in the Journal of Logic and Computation in 2
022.

\n LFCS issues the best student paper awa
rd named after John Barkley Rosser Sr. (1907-1989)
, a prominent American logician with fundamental c
ontributions in both Mathematics and Computer Scie
nce.