21-24 June 2011
Toronto, Canada
LICS 2011
26th IEEE Symposium on Logic In Computer Science
Call for Workshop Proposals
The twenty-sixth IEEE Symposium on Logic In Computer Science (LICS 2011)
(http://www2.informatik.hu-berlin.de/lics/lics11/) will be held in
Toronto, Canada, 21-24 June 2011. Possible dates for workshops are Monday
20th June and Saturday 25th June, 2011 (i.e., one day 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 day (two-day
workshops can be accommodated too).
? 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 8th December 2010, and should be
submitted via Easychair at
http://www.easychair.org/conferences/?conf=licsworkshops2011
Notifications will be sent by the end of December 2010 and all accepted
workshops will be expected to have the programme ready by the 1st May 2011.
The Workshops selection committee consists of the LICS
General Chair, LICS Workshops Co-Chairs, LICS 2011 PC Chair
and LICS 2011 Conference Co-Chairs.