Elsnet
 
   


ELSNET-list archive

Category:   E-Conf
Subject:   LICS 2003 - Call for Workshop Proposals
From:   Alex Simpson
Email:   als+lics-junk_(on)_inf.ed.ac.uk
Date received:   24 Sep 2002
Deadline:   01 Nov 2002
Start date:   22 Jun 2003

------------------------------------------------------------------------ -- 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_(on)_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.informa tics.ed.ac.uk/lics
 

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET