14-17 July 2004, LICS 2004, Turku, Finland

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. The conference is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

LICS 2004 will be held in conjunction with the thirty-first International Colloquium on Automata ,Languages, and Programming (ICALP 2004). The LICS Program Chair is H.Ganzinger (email:hg@mpi-sb.mpg.de ). Workshops are planned for July 12 13 and July 18.

For more information, see the conference website at http://www.dcs.ed.ac.uk/home/als/lics/lics04/.