LFCS Steering Committee:
Anil Nerode, Ithaca, NY (General Chair);
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.
Topics of interest include, but are not limited to:
LFCS’07 Program Committee:
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. Due to the closeness of the LFCS’07 deadline to the end of classes in many venues, and because of several requests for extensions, we are allowing submissions up to midnight December 22, US Eastern Standard Submissions should be made electronically via https://www.easychair.org/LFCS07/. 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.
Instructions for preparing camera-ready versions can be found at Accepted Papers and Instructions . The deadline for submitting the final versions is extended to February 25, 2007.
IEEE Computer Society, Association for Symbolic Logic, The Mid-Atlantic Mathematical Logic Seminar, New York Logic Colloquium, CUNY Computer Science Colloquium.
LFCS’07 will convene in midtown Manhattan at the CUNY Graduate Center, 365 Fifth Avenue.
LFCS’07 Organizing Committee (New York City):
Evangelia Antonakos, Arthur Apter, Sergei Artemov (Chair), Ted Brown, Yegor Bryukhov, Samir Chopra, Walter Dean, Melvin Fitting, Evan Goris, Karen Kletter, Roman Kuznets, Florian Lengyel, Elena Nogina, Natasha Novak, Bryan Renne, Susan Schweitzer, Subash Shankar, Noson Yanofsky.