Please note that this newsitem has been archived, and may contain outdated information or links.
25-28 June 2013, 28th ACM/IEEE Symposium on Logic In Computer Science (LICS 2013), New Orleans LA, U.S.A.
LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic. LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.
For more information, see http://lii.rwth-aachen.de/lics/lics13/
As in the past, there will be a short-presentation session during LICS 2013, which is intended for descriptions of works in progress, student projects, trailers for longer presentations at affiliated workshops, and relevant research being published elsewhere; other brief communications may be acceptable. Submission Deadline: 20 April 2013.
Please note that this newsitem has been archived, and may contain outdated information or links.