[FOM] LICS 2012 - Final Call for Workshop Proposals
stephan.kreutzer at tu-berlin.de
Thu Nov 24 18:41:51 EST 2011
27th ACM/IEEE Symposium on Logic In Computer Science
Call for Workshop Proposals
The 27th IEEE Symposium on Logic In Computer Science (LICS 2012)
will be held in Dubrovnik, Croatia, 25-28 June 2012.
Possible dates for workshops are Sunday 24 June and Friday 29 June
(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 1st December 2011 and should be
submitted via Easychair at
Notifications will be sent by the 15th December 2011. All accepted
workshops will be expected to have the programme ready by the
20th April 2012.
The workshop selection committee consists of the LICS
General Chair, LICS Workshop Co-Chairs, LICS 2012 PC Chair
and LICS 2012 Conference Co-chairs.
For more information contact the LICS workshop co-chairs
Adriana Compagnoni and Maribel Fernandez
at licsworkshops2012 at easychair.org
You are subscribed to the LICS Newsletter. To unsubscribe
please send an email to majordomo at comlab.ox.ac.uk with the keyword
'unsubscribe' 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.
More information about the FOM