Please note that this newsitem has been archived, and may contain outdated information or links.
11-14 July 2010, Logic in Computer Science (LICS 2010), Edinburgh, Scotland
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2010 will be organized as part of the "Fifth Federated Logic Conference" (FLoC) 2010 to be held in Edinburgh from July 9 to 21.
For more information, see http://www.informatik.hu-berlin.de/lics/lics10/. For information regarding FLoC 2010 and the participating meetings, please visit http://www.floc-conference.org.
We invite submissions for full or short presentations. We welcome submissions in emergent areas, such as bioinformatics and quantum computation, if they have a substantial connection with logic. Titles & short abstracts are due January 10, 2010.
Please note that this newsitem has been archived, and may contain outdated information or links.