June 4 – 7, 2007 in New York, U.S.A.
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:
Georges Gonthier, Microsoft Research Cambridge;
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 Time. 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.
LFCS’07 will convene in midtown Manhattan at the CUNY Graduate Center, 365 Fifth Avenue, New York, NY 10016.
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.