Apologies for multiple copies. -------------------------------------------------------------------------- IEEE Symposium On Logic In Computer Science 2003 Ottawa, Ontario, Canada, 22-25 June 2003 CALL FOR WORKSHOP PROPOSALS The Eighteenth IEEE Symposium On Logic In Computer Science will be held in Ottawa, Ontario from 22nd to the 25th of June 2003. The organizers have made arrangements for pre- and post-LICS workshops to be run in conjunction with the main conference. Possible dates are 21st June and 26-27th June. Researchers and practitioners are invited tofsubmit proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Funding is available to help defray the costs of a *limited number* of 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 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 proceedings or other publications. Proposals are due Nov 1st 2002 and should be submitted electronically to: Prakash Panangaden Workshops Chair LICS'03 prakash@cs.mcgill.ca The selections will be chosen by a committee consisting of Samson Abramsky (LICS General Chair), Phokion Kolaitis (LICS'03 Program Committee Chair), Prakash Panangaden (LICS Workshop Chair) and Phil Scott and Amy Felty (LICS'03 Conference Co-chairs). The results will be announced by Nov 15th 2002. LICS Website: http://www.lfcs.informatics.ed.ac.uk/lics 16-Sep-2002 11:47:47 -0300,5797;000000000001-00000000