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 (early registration deadline is May 20, 2003) 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.