News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

4-7 January 2016, Logical Foundations of Computer Science 2016 (LFCS'16), Deerfield Beach FL, U.S.A.

Date: 4-7 January 2016
Location: Deerfield Beach FL, U.S.A.
Deadline: 6 September 2015

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://lfcs.info/lfcs-2016/

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions deadline: midnight September 6, 2015, any time zone.

Please note that this newsitem has been archived, and may contain outdated information or links.