Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 14-17 July 2004
Location: 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/.

Please note that this newsitem has been archived, and may contain outdated information or links.