LICS 2003 - Call for Participation

                  Eighteenth Annual IEEE Symposium on
                      LOGIC IN COMPUTER SCIENCE
                            (LICS 2003)
                June  22 - 25, 2003, Ottawa, Canada


                        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


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:

LICS 2003 registration and conference information is now available on
the LICS 2003 website or directly at: