LICS 2003 - Call for Participation

[Amy Felty <afelty@site.uottawa.ca>]

*** 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.