LICS 2001 Call for Affiliated Workshops

To: lics@zermelo.mathematik.uni-freiburg.de
Subject: LICS 2001 Call for Affiliated Workshops
From: Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
Date: Wed, 26 Jul 2000 20:04:37 +0200
Reply-to: lics-request@sun1.mathematik.uni-freiburg.de

                    CALL FOR AFFILIATED WORKSHOPS
                  Sixteenth Annual IEEE Symposium on
                LOGIC IN COMPUTER SCIENCE (LICS 2001)
               Boston, Massachusetts, June 16-19, 2001
             http://logik.mathematik.uni-freiburg.de/lics

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)