Logic List Mailing Archive

LICS 2008 (Logic in Computer Science)

24-27 July 2008
Pittsburgh PA, U.S.A.

LICS 2008 - CALL FOR PARTICIPATION

The twenty-third annual IEEE symposium on logic in computer
science (LICS 2008) will be held at Carnegie Mellon University
in Pittsburgh, Pennsylvania, USA, June 24th-27th 2008.
It will be colocated with the IEEE Computer Security
Foundations Symposium (CSF).

The LICS 2008 program includes invited talks by
David Basin (ETH Zurich), Martin Grohe (Humboldt University Berlin),
Dexter Kozen (Cornell University), and Yiannis Moschovakis (UCLA and
University of Athens).

Registration for LICS 2008 is open.
The deadline for early registration is June 1, 2008.
Late registration (at higher cost) will be available until June 10,
after which registration requires special arrangement with the
conference organizers.

A link to the online registration form can be found on the
LICS 2008 webpage at

    http://www.informatik.hu-berlin.de/lics/lics08/

The online registration page can also be used to reserve a room in
the CMU campus dormitories, if required. The LICS 2008 webpage further
contains information about reserving a hotel room if you prefer that option.
Blocks of hotels for LICS participants are being held until June 2, so
if you plan to reserve a hotel room please do so before then.