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@uta.fi Workshops Chair: Phil Scott, U. of Ottawa Email: phil@site.uottawa.ca Publicity Chair: Alex Simpson, U. of Edinburgh Email: Alex.Simpson@ed.ac.uk General Chair: Phokion G. Kolaitis, UC Santa Cruz Email: kolaitis@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.