LICS 2004 - Call for Participation

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

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: