LICS 2007 - Call for Participation

LICS 2007 - Call for Participation

[Kreutzer + Schweikardt]

                    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)