The Twentieth IEEE Symposium on Logic In Computer Science (LICS 2005) Call for Workshop Proposals Chicago, Illinois Conference Dates: June 26-29, 2005 Workshop Dates: June 25, 2005 and June 30-July 1,2005 The Twentieth IEEE Symposium on Logic In Computer Science (LICS 2005) will be held in Chicago, Illinois, USA, June 26-29, 2005. The organizers have made arrangements for pre- and post-LICS workshops to be run in conjunction with the main conference. Possible dates are June 25 (the day before LICS) and June 30 and July 1 (the two days 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 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. Proposals are due Nov. 15, 2004 and should be submitted electronically to: Philip Scott Workshops Chair, LICS 2005 Email: phil@site.uottawa.ca The selections will be chosen by a committee consisting of Phokion Kolaitis (LICS General Chair), Prakash Panangaden (LICS 2005 Program Committee Chair), Phil Scott (LICS Workshop Chair) and Alan Jeffrey and Radha Jagadeesan (LICS 2005 Conference co-chairs). The results will be announced by Nov 30th, 2004. 24-Sep-2004 11:48:56 -0300,4977;000000000000-00000000