[TYPES] LICS 2006 Call for Workshops

[Kreutzer + Schweikardt]

Dear Members of the LICS Community.

   As many of you know, LICS 2006 is being held in conjunction with the
FLoC'06 Federated Logic Conference in Seattle in August 12-15, 2006.
Because of the large number of simultaneous events, it is important that
we have any workshop proposals by JULY 31, 2005 (We will also consider
interesting preliminary proposals at that time, with a final proposal due
a couple of weeks after, but the more complete your proposal, the better
the chances of being accepted for LICS/FLOC). The potential Workshop Dates
for LICS are 2 days before, and 2 days after LICS: August 10-11 and August
15-16, 2006.  The "middle time" August 15-16 is intermediate between the
first group of conferences: LICS,RTA, and SAT and the second group CAV,
ICLP, and IJCAR, so if there are workshops that you think might interest
more than one group, please let us know in the proposal.

I enclose the LICS 2006 Call for Workshops below. Please note that
Workshop proposals (or enquiries) should be submitted to:

				Phil Scott
				Workshops Chair, LICS 2006
				phil at site.uottawa.ca

with a cc of any submitted proposals to the overall FLOC workshop chair:

				Gopal Gupta (FLoC'06 Workshop Chair)
  				gupta at utdallas.edu

For more information on FLOC '06 see:
http://research.microsoft.com/floc06/



------------------  LICS 2006 Workshop Announcement -----------

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.

Full proposals are due July 31, 2005 and will be considered by a joint
FLOC workshop committee (we will also accept interesting preliminary
proposals with a final formal proposal due a couple of weeks later;
however early complete formal proposals enhance the chances of FLOC
acceptance.)

Proposals and/or enquiries should be submitted electronically to:

  Philip Scott
  Workshops Chair,  LICS 2006
  Email: phil at site.uottawa.ca

with a cc of any proposal to the overall FLOC workshop chair:

Gopal Gupta (FLoC'06 Workshop Chair)
gupta at utdallas.edu

For more information on FLOC '06 see:
http://research.microsoft.com/floc06/