Call for Workshop Proposals (.pdf
link)
The twenty-sith IEEE Symposium on Logic In Computer Science (LICS
2011) 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
elds. Typically, LICS
workshops feature a number of invited speakers and a number of contributed
presentations.
LICS workshops do not usually 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 bene ts 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 accom-
modated 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 16th November 2010, and should be submitted
electronically to
the Workshops Chairs:
- Adriana Compagnoni: abc@cs.stevens.edu
- Maribel Fernandez: Maribel.Fernandez@kcl.ac.uk
Notifications will be sent by the 15th December 2010.
TheWorkshops selection committee consists of the LICS General Chair,
LICSWorkshops
Chairs, LICS 2011 PC Chair and LICS 2011 Conference Co-Chairs.
Back to top
