[TYPES] LICS 2004 - Call for Participation

[Alex Simpson]

The deadline for early registration for LICS 2004 is *June 15, 2004*.

------------------------------------------------------------------------

                        CALL FOR PARTICIPATION

                 Nineteenth Annual IEEE Symposium on 
                LOGIC IN COMPUTER SCIENCE (LICS 2004)

               July  13th - 17th, 2004, Turku, Finland
              http://www.lfcs.informatics.ed.ac.uk/lics/


The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense.


For registration visit

  http://www.math.utu.fi/ICALP04/registration.html

The deadline for early registration is June 15, 2004.


Collocated events: 
ICALP'04 will be collocated with LICS'04; for details see
http://www.math.utu.fi/ICALP04/. 


Invited Speakers:
The following distinguished speakers will give invited talks at LICS 2004: 
  Samson Abramsky (U. of Oxford),
  Robert Harper (Carnegie Mellon University),
  Alexander Razborov (IAS, Princeton, and Steklov Math. Inst., Moscow),
  Davide Sangiorgi (U. di Bologna),
  Igor Walukiewicz (U. Bordeaux), and
  Mihalis Yannakakis (Stanford U.).


For full program visit LICS website

  http://www.lfcs.informatics.ed.ac.uk/lics/


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, Saarbruecken (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


Conference Chair:
Lauri Hella
Department of Math., Stat., and Phil.
Kanslerinrinne 1
33014 University of Tampere,
Finland
Email: lauri.hella at uta.fi


Workshops Chair:
Phil Scott, U. of Ottawa
Email: phil at site.uottawa.ca


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


General Chair:
Phokion G. Kolaitis, UC Santa Cruz
Email: kolaitis at cse.ucsc.edu


Organizing Committee:
S. Abramsky, A. Broder, E. Clarke, A. Felty,
H. Ganzinger, H. Gabow, J. Halpern, L. Hella,
U. Kohlenbach, P. Kolaitis (chair), D. Leivant, 
G. Longo, H. Mairson, A. Middeldorp, J. Mitchell, 
M. Nielsen, P. Panangaden, G. Plotkin,  F. Pfenning, 
P. Scott, R. Shore, A. Simpson, I.A. Stewart.

Advisory Board:
Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, L. Pacholski,
V. Pratt, A. Scedrov, M.Y. Vardi, G. Winskel.


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.