Registration for LICS 2005 is now open. ** NOTE HOTEL ROOM BOOKING EXPIRES MAY 1st SO EARLY RESERVATION IS ** ** RECOMMENDED. (DORM BOOKING IS OPEN UNTIL MAY 20th.) ** CALL FOR PARTICIPATION Twentieth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2005) June 26th-29th, 2005, Chicago, Illinois Affiliated workshops: June 24-25, 30 and July 1, 2005 http://www.lfcs.informatics.ed.ac.uk/lics/lics05/ The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. Important dates: May 1st 2005: Club Quarters room block booking expires. Reserve your hotel room before this date! May 20th 2005: University Center of Chicago room block booking expires. Reserve your dorm room before this date! May 20th 2005: Early registration discount expires. Invited Speakers: Michael Benedikt, Bell Laboratories; Solomon Feferman, Stanford University; Walter Fontana, Harvard University; Jane Hillston, University of Edinburgh Glynn Winskel, University of Cambridge. Affiliated Workshops: Logic and Computational Complexity, June 24-25. Organizer: Jim Royer Intuitionistic Modal Logics and Applications, June 30. Organizers: Valeria de Paiva and Frank Pfenning Foundations of Computer Security June 30-July 1. Organizer: Andrei Sabelfeld Workshop on Quantum Programming Languages, June 30-July 1. Organizer: Peter Selinger Sponsorship: The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, and the European Association for Theoretical Computer Science. Program Chair: Prakash Panangaden School of Computer Science McGill University Montreal, Quebec Canada Email: prakash@cs.mcgill.ca Phone: + 1 514 398 7074 Fax: + 1 514 398 3883 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 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, Radhakrishnan Jagadeesan School of CTI DePaul University Chicago, Illinois USA ajeffrey@cs.depaul.edu rjagadeesan@cs.depaul.edu Workshops Chair: Philip J. Scott, U. of Ottawa phil@site.uottawa.ca Publicity Chair: Alex Simpson, U. of Edinburgh Alex.Simpson@ed.ac.uk General Chair: Phokion G. Kolaitis, U. of California, Santa Cruz kolaitis@cs.ucsc.edu Organizing Committee: Samson Abramsky, Andrei Broder, Sam Buss, Edmund Clarke, Amy Felty, Hal Gabow, Lauri Hella, Radha Jagadeesan, Alan Jeffrey, Ulrich Kohlenbach, Phokion Kolaitis, Janos Makowsky, John Mitchell, Mogens Nielsen, Prakash Panangaden, Frank Pfenning, Gordon Plotkin, Femke van Raamsdonk, Philip Scott, Alex Simpson, Andrei Voronkov. Advisory Board: Robert Constable, Yuri Gurevich, Claude Kirchner, Dexter Kozen, Ursula Martin, Albert Meyer, Leszek Pacholski, Vaughan Pratt, Andre Scedrov, Moshe Y. Vardi, Glynn Winskel