*** NOTE: EARLY REGISTRATION AND ACCOMMODATION DEADLINE IS MAY 20, 2003 *** Eighteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2003) June 22 - 25, 2003, Ottawa, Canada http://www.dcs.ed.ac.uk/home/als/lics/lics03/ CALL FOR PARTICIPATION The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. The conference is intended to emphasize the relevance of logic to computer science. The program of LICS 2003 features 4 invited talks, 2 invited tutorials, 34 contributed papers, and 14 short presentations. Invited Talks: - Erich Graedel (RWTH Aachen): "Will deflation lead to depletion? On non-monotone fixed point inductions" - John Harrison (Intel Corp.): "Formal verification at Intel" - Marta Kwiatkowska (U. Birmingham) "Model checking for probability and time: from theory to practice" - John McCarthy (Stanford U.) "Advice about nonmonotonic reasoning in AI" Invited Tutorials: - Martin Abadi (UC Santa Cruz): "Logic in Access Control" - Benjamin Pierce (U. Pennsylvania) "Types and Programming Languages: The Next Generation" The full program of LICS 2003 is available on the conference website http://www.dcs.ed.ac.uk/home/als/lics/lics03/ Affiliated Workshops: As in previous years, there will be a number of workshops affiliated with LICS 2003: - June 21: Probability in AI Organizer: Doina Precup - June 21: Typical Case Complexity and Phase Transitions, Organizers: Evangelos Kranakis and Lefteris Kirousis - June 26: Logic and Computational Linguistics Organizers: Gerald Penn and Leonid Libkin - June 26: Causality in Computer Science and Physics Organizer: Prakash Panangaden - June 26-27: Foundations of Computer Security Organizer: Iliano Cervesato - June 26-27 Implicit Computational Complexity Program chair: Anuj Dawar Pre-LICS Summer School: The Fields Institute Summer School on Logic and Foundations of Computation will be held at the University of Ottawa, June 2-20, 2003 For information, see the summer school web site at: http://www.mathstat.uottawa.ca/lfc/fields2003/ Registration: LICS 2003 registration and conference information is now available on the LICS 2003 website or directly at: http://www.mathstat.uottawa.ca/lfc/lics2003/ The DEADLINE FOR EARLY REGISTRATION is Tuesday, May 20, 2003. Web registration ends June 12. After that, registration will be on-site at the conference location.