Nineteenth Annual IEEE Symposium on


July 13th - 17th, 2004, Turku, Finland

Affiliated Workshops: July 12th, 13th and 18th

Held in conjunction with ICALP 2004

Acting Program Chair:
Andrei Voronkov
Department of Computer Science, University of Manchester, UK

Program Chair:
Harald Ganzinger
MPI Informatik, Saarbrücken, Germany

Program Committee:
Rajeev Alur, U. of Pennsylvania
Andrew Appel, Princeton U.
Albert Atserias, UPC, Barcelona
Franz Baader, Dresden U.
Samuel Buss, U. of California, San Diego
Roberto Di Cosmo, U. de Paris VII
Gilles Dowek, Ecole Polytechnique, Paris
Harald Ganzinger, MPI, Saarbrücken (chair)
Martin Hofmann, LMU Muenchen
Achim Jung, U. of Birmingham
Kim Larsen, Aalborg U.
Leonid Libkin, U. of Toronto
Rocco de Nicola, U. di Firenze
Damian Niwinski, Warsaw U.
Prakash Panangaden, McGill U., Montreal
Albert Rubio, UPC, Barcelona
Vitaly Shmatikov, SRI International
Moshe Vardi, Rice U., Houston
Helmut Veith, TU Wien
Andrei Voronkov, U. of Manchester (acting chair)

Conference Chair:
Lauri Hella
Department of Math., Stat., and Phil.
Kanslerinrinne 1, 33014 University of Tampere

Workshops Chair
Phil Scott, U. of Ottawa

Publicity Chair:
Alex Simpson, U. of Edinburgh

General Chair:
Phokion G. Kolaitis, UC Santa Cruz

Organizing Committee:
S. Abramsky, A. Broder, E. Clarke, A. Felty, U. Furbach, H. Gabow, H. Ganzinger, J. Halpern, L. Hella, U. Kohlenbach, P. Kolaitis (chair), H. Mairson, A. Middeldorp, J. Mitchell, M. Nielsen, P. Panangaden, G. Plotkin, P. Scott, R. Shore, A. Simpson, I.A. Stewart.

Advisory Board:
R. Constable, Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, A. Meyer, L. Pacholski, V. Pratt, A. Scedrov, M.Y. Vardi, G. Winskel.

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 sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Harald Ganzinger 1950-2004

The LICS community mourns the loss of Harald Ganzinger, LICS 2004 Program Committee Chair, who died on June 3, 2004.

Although he had been in poor health for quite some time, Harald made a valiant effort to guide the LICS 2004 Program Committee through the selection of the papers for the conference. Unfortunately, he will not be present at the conference for which he worked so hard. He will also not be present to receive the 2004 Herbrand Award at the IJCAR conference in July 2004.

Harald's passage leaves a void in our community that will be hard to fill. A tribute to his memory and contributions will be paid during the joint 2004 ICALP/LICS Conference at Turku in July.

There is an obituary for Harald at the website of the Max-Planck Institute for Computer Science in Saarbrücken, where he had been a director since 1991.

Andrei Voronkov has now assumed the duties of LICS 2004 Program Committee Chair.


Important dates:

  • Titles & Short Abstracts Due: January 26, 2004
  • Extended Abstracts Due: February 2, 2004
  • Notification of acceptance/rejection: March 27th, 2004
  • Final version: April 25th, 2004
  • Early registration: May 31st, 2004
  • Conference: July 13th - 17th, 2004
  • Affiliated workshops: July 12th,13th and 18th, 2004

Back to the LICS web page.

Alex Simpson