Program Chair: Phokion G. Kolaitis Computer Science Department University of California, Santa Cruz Santa Cruz, CA 95064 USA Email: kolaitis@cs.ucsc.edu Phone: +1 831 459 4768 Fax: +1 831 459 4829 Program Committee: Michael Benedikt, Bell Laboratories Andreas R. Blass, U. of Michigan Maria Luisa Bonet, UPC, Barcelona Witold Charatonik, U. of Wroclaw Marcelo Fiore, U. of Cambridge Giorgio Ghelli, U. di Pisa Thomas A. Henzinger, UC Berkeley Alan Jeffrey, DePaul U. Assaf J. Kfoury, Boston U. Phokion G. Kolaitis, UC Santa Cruz Orna Kupferman, Hebrew U. Ursula Martin, U. of St Andrews Paul-André Melliès, CNRS & U. Paris 7 Eugenio Moggi, U. di Genova Ugo Montanari, U. di Pisa Paliath Narendran, U. at Albany SUNY Luke Ong, U. of Oxford & Nat. U. of Singapore Martin Otto, U. of Wales Swansea Frank Pfenning, Carnegie Mellon U. Mirek Truszczynski, U. of Kentucky Conference co-Chairs: Amy Felty & Philip Scott SITE & Math. and Stat. University of Ottawa Ottawa, Ontario, K1N 6N5 Canada Email: {afelty,phil}@site.uottawa.ca Publicity Chair: Alex Simpson, U. of Edinburgh Alex.Simpson@ed.ac.uk General Chair: Samson Abramsky, Oxford U. Samson.Abramsky@comlab.ox.ac.uk Organizing Committee: M. Abadi, S. Abramsky (chair), R. Constable, N. Dershowitz, A. Felty, H. Ganzinger, H. Gabow, J. Halpern, U. Kohlenbach, P. Kolaitis, D. Leivant, G. Longo, H. Mairson, J. Mitchell, E. Moggi, M. Nielsen, G. Plotkin, V. Pratt, S. Ronchi della Rocca, P.J. Scott, R. Shore, A. Simpson, I.A. Stewart, J. Tiuryn, M.Y. Vardi, G. Winskel. Advisory Board: M. Abadi, S. Abiteboul, M. Dezani, J. Halpern, R. Impagliazzo, D. Kozen, L. Pacholski, A. Scedrov, D. Scott, J. Wing.

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 Webpage (including Registration) Final Program ( txt , pdf , postscript ) Invited Speakers Affiliated Workshops Pre LICS Summer School Call for Papers ( html , pdf , postscript ) Instructions for short abstract and paper submission. Style files for preparing extended abstracts. Deadline: January 13, 2003. Deadline expired. Accepted Papers Call for Short Presentations ( txt ) Instructions for short presentations Deadline: March 21, 2003. Deadline expired. Accepted Short Presentations   Important dates: Submission deadline: January 13th Notification of acceptance/rejection: March 20th Final version: April 11th   Submission of Short Presentations: March 17th - 21st Notification of acceptance/rejection: April 4th   Conference: June 22nd - 25th   Affiliated workshops: June 21st and 26th - 27th Pre LICS summer school: June 2nd - 20th

Back to the LICS web page.