LFCS 2009: Logical Foundations of Computer Science, Deerfield Beach FL (U.S.A.)
2009-01-03 - 2009-01-05 | Deerfield Beach FL (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. For more information, see http://ww.lfcs.info/. The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is September 14, 2008.
