Dear Members of the LICS Community. As many of you know, LICS 2006 is being held in conjunction with the FLoC'06 Federated Logic Conference in Seattle in August 12-15, 2006. Because of the large number of simultaneous events, it is important that we have any workshop proposals by JULY 31, 2005 (We will also consider interesting preliminary proposals at that time, with a final proposal due a couple of weeks after, but the more complete your proposal, the better the chances of being accepted for LICS/FLOC). The potential Workshop Dates for LICS are 2 days before, and 2 days after LICS: August 10-11 and August 15-16, 2006. The "middle time" August 15-16 is intermediate between the first group of conferences: LICS,RTA, and SAT and the second group CAV, ICLP, and IJCAR, so if there are workshops that you think might interest more than one group, please let us know in the proposal. I enclose the LICS 2006 Call for Workshops below. Please note that Workshop proposals (or enquiries) should be submitted to: Phil Scott Workshops Chair, LICS 2006 phil at site.uottawa.ca with a cc of any submitted proposals to the overall FLOC workshop chair: Gopal Gupta (FLoC'06 Workshop Chair) gupta at utdallas.edu For more information on FLOC '06 see: http://research.microsoft.com/floc06/ ------------------ LICS 2006 Workshop Announcement -------------------------- 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 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 and the proposed duration, which may vary from half a day to two days,and preferred dates. * Procedures for selecting participants and papers. * Expected number of participants. * Potential invited speakers. * Plans for dissemination (for example, special issues of journals). * Please note that it is expected that LICS workshop organizers should be present to run their workshops. It is also assumed that normally workshop organizers (though not necessarily participants) will register for the LICS conference. Full proposals are due July 31, 2005 and will be considered by a joint FLOC workshop committee (we will also accept interesting preliminary proposals with a final formal proposal due a couple of weeks later; however early complete formal proposals enhance the chances of FLOC acceptance.) Proposals and/or enquiries should be submitted electronically to: Philip Scott Workshops Chair, LICS 2006 Email: phil at site.uottawa.ca with a cc of any proposal to the overall FLOC workshop chair: Gopal Gupta (FLoC'06 Workshop Chair) gupta at utdallas.edu For more information on FLOC'06 see: http://research.microsoft.com/floc06/