Logic List Mailing Archive

Call for Workshop Proposals at LICS 2005 (Chicago, Jun 2005)

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

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.