Please note that this newsitem has been archived, and may contain outdated information or links.
11-14 August 2009, Logic in Computer Science (LICS 2009), Los Angeles CA, U.S.A.
The IEEE Symposium on Logic In Computer Science (LICS) is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2009 will be held at UCLA in Los Angeles, California, USA, 11th-14th August 2009. It will be colocated with the 16th International Static Analysis Symposium (SAS 2009; August 9th-11th).
For more information, see http://www2.informatik.hu-berlin.de/lics/lics09/index.html)
Researchers and practitioners are invited to submit papers for presentation and/or proposals for workshops, on topics relating logic - broadly construed - to computer science or related fields. Abstracts are due January 12th 2009, proposals December 1st 2008.
Please note that this newsitem has been archived, and may contain outdated information or links.