LICS 2001 Call for Affiliated Workshops

                  Sixteenth Annual IEEE Symposium on
                LOGIC IN COMPUTER SCIENCE (LICS 2001)
               Boston, Massachusetts, June 16-19, 2001

LICS 2001, the 16th Annual IEEE Symposium on LOGIC IN COMPUTER
SCIENCE, will be held in Boston, MA, from Saturday June 16 through
Tuesday June 19.  As in past years, facilities are available for
pre-conference and post-conference workshops related to topics
generally covered by LICS, or of special interest to LICS attendees.

Researchers and practitioners are invited to submit proposals for
workshops on topics related to logic in computer science, broadly
understood. Past workshops have emphasized emerging topics of
particular interest. Proposals that promise to bring new topics into
LICS, of either practical or theoretical importance, or provide a
forum for more detailed discussion of central topics of continuing
importance will be welcomed.

Proposals should consist of two parts.  First, a short scientific
justification of the proposed topic, its significance, and the
particular benefits of a workshop.  A second, organizational, part
should include:

       * contact information for organizers;
       * proposed format and agenda;
       * procedures for selecting papers and participants;
       * duration and preferred period (pre- or post-LICS).

Additional organizational plans may include:

       * potential invited speakers;
       * demo sessions;
       * plans for proceedings or other publications.

Proposals are due 

                           October 1, 2000.

Organizers will be notified by October 31, 2000.

Proposals may be submitted electronically to

Leonid Libkin, e-mail: libkin@research.bell-labs.com,

as postscript or ascii email with "LICS WORKSHOP SUBMISSION" in the
subject header.

Workshop selection committee:
    Martin Grohe (UIC),
    Joseph Halpern (Cornell),
    Leonid Libkin, Chair (Bell Labs),
    Harry Mairson (Boston U)