LICS 2007 Call for Participation Reminder: Early registration deadline is approaching: May 31st, 2007 LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, 10th - 14th July 2007. It will be colocated with: - International Colloquium on Automata, Languages and Programming (ICALP 2007), 9th - 13th July 2007, and - ASL European Summer Meeting (Logic Colloquium 2007), 14th - 19th July 2007. The IEEE Symposium On Logic In Computer Science (LICS) is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. Detailed information can be found on the webpage: - http://www.informatik.hu-berlin.de/lics/lics07/ - http://july2007.ii.uni.wroc.pl/ Important dates: - May 31st 2007: Early registration discount expires. - 10th - 14th July 2007: Conference Invited Speakers: - Thomas Hales (University of Pittsburgh) - Martin Hyland (University of Cambridge) - Phokion Kolaitis (IBM Almaden Research Centre) - Gordon Plotkin (University of Edinburgh) - Michael Rabin (Harvard University and Hebrew University) - Colin Stirling (University of Edinburgh)