[FOM] LICS 2009 Call for Workshop Proposals

[Stephan Kreutzer]

			      LICS 2009

	   24th IEEE Symposium on Logic In Computer Science

		     Call for Workshop Proposals

The twenty-fourth IEEE Symposium on Logic In Computer Science (LICS
2009) (http://www2.informatik.hu-berlin.de/lics/lics09/index.html)
will be held in Los Angeles, California, 11th-14th August 2009.
Possible dates for workshops are Sunday 9th August, Monday 10th
August and Saturday 15th August, 2009 (i.e., two days before and one
day after 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 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. This is important!

- 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).

Proposals are due on the 1st December 2008, and should be
submitted electronically to the Workshops Chairs:

Adriana Compagnoni: abc at cs.stevens.edu

Maribel Fernandez:  Maribel.Fernandez at kcl.ac.uk

Notifications will be sent by the 15th December 2008. The Workshops
selection committee consists of the LICS General Chair, LICS Workshops
Chairs, LICS 2009 PC Chair and LICS2009 Conference Chair.


--
You are subscribed to the LICS Newsletter. To unsubscribe
please send an email to majordomo at comlab.ox.ac.uk with the keyword
'unsibscribe' in the message body. If you want help with using the
mailing list, please send 'help' in the body of an email to
majordomo at comlab.ox.ac.uk.