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 Finland Email: lauri.hella@uta.fi Workshops Chair Phil Scott, U. of Ottawa Email: phil@site.uottawa.ca Publicity Chair: Alex Simpson, U. of Edinburgh Email: Alex.Simpson@ed.ac.uk General Chair: Phokion G. Kolaitis, UC Santa Cruz Email: kolaitis@cse.ucsc.edu 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. Registration page Travel information Programme Invited Speakers Affiliated Workshops LICS 2004 accepted papers (txt) Call for papers (txt, ps, pdf) Titles & Short Abstracts due: January 26, 2004 Extended abstracts due: February 2, 2004 Style files for preparing extended abstracts. Instructions for submission of short and extended abstracts. Call for short presentations (txt) Abstracts for short presentations due: April 11, 2004 Submission site for short presentations (opens April 3, 2004)   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.