Please note that this newsitem has been archived, and may contain outdated information or links.
10-14 July 2007, The Twenty-Second IEEE Symposium on Logic in Computer Science (LICS 2007)
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, from 10th July to 14th July 2007. It will be colocated with two other meetings: the International Colloquium on Automata, Languages, and Programming (ICALP'07) July 9-13, 2007, and also the European Logic Colloquium (ELC 2007), July 14-19. Workshops are planned for July 8, 9 and July 15 (possibly the afternoon of 14th).
For more information, see http://www2.informatik.hu-berlin.de/lics/lics07/.
Researchers and practitioners are invited to submit their papers for presentation and/or proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Submission deadline is January 15, 2007 for papers, and November 15, 2006 for workshop proposals.
Please note that this newsitem has been archived, and may contain outdated information or links.