LICS 2008 Call for Workshop Proposals

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.

• A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community.
• A discussion of the proposed format and agenda.
• The proposed duration, which is typically one to two days, and your preferred dates. (important!)
• Let us know if you would like your workshop to be a joint workshop with CSF.
• Procedures for selecting participants and papers.
• Expected number of participants (this is important!)
• Potential invited speakers.
• Plans for dissemination (for example, special issues of journals).