[Elsnet-list] Deadline approaching: LICS 2008 Call for Workshops
Kreutzer + Schweikardt
lics at informatik.hu-berlin.de
Wed Nov 14 20:58:23 CET 2007
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 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
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:
-- 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.^M-- Expected number
of participants (this is important!)
-- Potential invited speakers.
-- Plans for dissemination (for example, special issues of journals).
Proposals are due Nov. 20, 2007 and should be submitted electronically to
both of us:
abc at cs.stevens.edu
phil at site.uottawa.ca
Please specify if you wish to have a 1 or 2 day workshop. And your preferred
Workshops will be chosen by a committee consisting of the LICS
General Chair, LICS Workshop Chairs, LICS 2008 PC Chair and LICS 2008
More information about the Elsnet-list