[TYPES] LICS 2005: Call for Participation

[Alex Simpson]

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 at 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 at cs.depaul.edu
rjagadeesan at cs.depaul.edu

Workshops Chair:
Philip J. Scott, U. of Ottawa
phil at site.uottawa.ca

Publicity Chair:
Alex Simpson, U. of Edinburgh
Alex.Simpson at ed.ac.uk

General Chair:
Phokion G. Kolaitis, U. of California, Santa Cruz
kolaitis at 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