Program Chair: Prakash Panangaden McGill University, Montreal Program Committee: Jiri Adamek, Technical University of Braunschweig Luca de Alfaro, U. of California, Santa Cruz Andrei Bulatov, Simon Fraser University Hubert Comon-Lundh, ENS Cachan Philippa Gardner, Imperial College Martin Grohe, Humboldt-Universitat zu Berlin Neil Immerman, U. of Massachusetts, Amherst Marta Kwiatkowska, University of Birmingham Maurizio Lenzerini, Universita di Roma, Guy McCusker, University of Sussex, Larry Moss, University of Indiana, Prakash Panangaden, McGill University (chair> Frank Pfenning, Carnegie-Mellon University Toniann Pitassi, University of Toronto Uday Reddy, University of Birmingham Thomas Schwentick, Philipps-Universitat Marburg Peter Selinger, University of Ottawa N. Shankar, SRI International Igor Walukiewicz, Universite Bordeaux Conference Co-chairs: Alan Jeffrey and Radhakrishnan Jagadeesan School of CTI DePaul University Chicago, Illinois, USA Workshops Chair Phil Scott, U. of Ottawa Publicity Chair: Alex Simpson, U. of Edinburgh General Chair: Phokion G. Kolaitis, IBM Almaden Research Center and UC Santa Cruz Organizing Committee: S. Abramsky, A. Broder, S. Buss, E. Clarke, A. Felty, H. Gabow, L. Hella, R. Jagadeesan, A. Jeffrey, U. Kohlenbach, P. Kolaitis (chair), J. Makowsky, J. Mitchell, M. Nielsen, P. Panangaden, F. Pfenning, G. Plotkin, F. van Raamsdonk, P. Scott, A. Simpson, A. Voronkov Advisory Board: R. Constable, Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, A. Meyer, L. Pacholski, V. Pratt, A. Scedrov, D.S. Scott, 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. Local Information including Registration Program (postscript, pdf) Invited Speakers Affiliated Workshops List of short presentations (pdf) Accepted papers (txt) Call for short presentations (txt) Instructions for submission of short presentations. Short presentations due: 25th March 2005 (expired) Call for papers (txt, postscript, pdf) Titles and short abstracts due: 5th January 2005 (expired) Extended abstracts due: 10th January 2005 (expired) Style files for preparing extended abstracts. Instructions for submission of short and extended abstracts. Important dates: Titles & Short Abstracts Due: January 5, 2005 Extended Abstracts Due: January 10, 2005 Notification of acceptance/rejection: March 18th, 2005 Final version: April 8th, 2005 Conference: June 26th - 29th, 2005 Affiliated workshops: June 24-25, 30 and July 1, 2005 The conference is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Back to the LICS web page.