The Twenty-Third IEEE Symposium on Logic In Computer Science (LICS 2008) (see http://www2.informatik.hu-berlin.de/lics/lics08 ) will be held in Pittsburgh, Pennsylvania (USA) June 24 – 27, 2008. It will be colocated with CSF (IEEE Computer Security Foundations). Possible dates for workshops are June 21 – 23 (i.e. up to three days before LICS).
Researchers and practitioners are invited to submit proposals for workshops on topics relating logic — broadly construed — to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a smaller number of contributed presentations. LICS workshops do not produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops.Proposals should include:
Workshops Chairs, LICS 2008