[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:

Adriana Compagnoni
abc at cs.stevens.edu

Philip Scott
phil at site.uottawa.ca

Workshops Chairs,
LICS 2008
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 mailing list