[TYPES] LICS 2005: Call for Workshop Proposals

[Alex Simpson]

  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 at 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.