[TYPES] LOPSTR+PEPM+PPDP+SAS 2004: Last Call for Workshop Proposals

[Fausto Spoto]

PLEASE ACCEPT MY APOLOGIES IF YOU RECEIVE THIS MESSAGE MORE THAN ONCE.

             LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04
              *** CALL FOR WORKSHOP PROPOSALS ***
              *** DEADLINE:  January 18, 2004 ***

             International Symposium on Logic-based
              Program Synthesis and Transformation
             URL: http://www.sci.univr.it/~lopstr04

           ACM SIGPLAN Symposium on Partial Evaluation
            and Semantics Based Program Manipulation
              URL: http://www.sci.univr.it/~pepm04

              ACM-SIGPLAN International Conference
      on Principles and Practice of Declarative Programming
              URL: http://www.sci.univr.it/~ppdp04

            International Static Analysis Symposium
              URL: http://www.sci.univr.it/~sas04


LOPSTR'04, the International Symposium on Logic-based Program
Synthesis and Transformation, PEPM'04, the ACM SIGPLAN 2004
Symposium on Partial Evaluation and Semantics Based Program
Manipulation, PPDP'04, the 6th ACM-SIGPLAN International
Conference on Principles and Practice of Declarative Programming,
and SAS'04, the 11th International Static Analysis Symposium, will
be held in Verona, Italy, from August 24 to August 28, 2004.
We plan to have several workshops in parallel with the conferences.

Workshops have a key role. They provide an ideal platform for the
presentation of preliminary work or novel ideas in a less formal way
than the conferences themselves. They also are an opportunity
to disseminate work in progress, particularly for new researchers.
Workshops also provide a venue for presenting more specialized topics
and opportunities for more intensive discussions, exchange of ideas,
and project collaboration. The topics of the workshops can cover
any areas related to software specification, analysis, transformation
and verification, and to declarative programming, including
cross-disciplinary areas.

The format of the workshop will be determined by the organizer(s)
proposing the workshop, but ample time must be allowed for general
discussion. Workshops can vary in length, but the optimal duration
will be half a day or a full day. Having two or three co-organizers
for a workshop is strongly advised.

Workshop Proposal:
==================

The persons intending to organize a workshop at LOPSTR'04 + PEPM'04
+ PPDP'04 + SAS'04 are invited to submit a workshop proposal.
Proposals should be in English and about two pages in length.
They should contain:

  * the title of the workshop
  * a brief technical description of the topics covered by the workshop
  * a discussion of the timeliness and relevance of the workshop
  * the names, affiliation and contact details (email, web page, phone,
    fax) of the workshop organizing committee together with a
    designated contact person as the workshop coordinator
  * a preliminary plan/schedule for organizing the workshop, including
    the required number of half-days allotted to the workshop
  * a list of previously-organized related workshops by any of the
    workshop organizers. Although previous experience with
    organizing similar workshops is not required, this information will
    be helpful to the Workshop Chair
  * an estimated number of attendants to the workshop

Proposals are expected in ASCII or LaTeX format. All proposals should be
submitted to the Workshop Chair by email by January 18, 2004.

Workshop Organizers' Tasks:
===========================

  * Producing a "Call for Papers" for the workshop and posting it
    on the net and/or other means. Please provide a web page URL which
    can be linked into the LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 home pages.
  * Providing a brief description of the workshop for the conference
    program.
  * Reviewing/accepting submitted papers.
  * Scheduling workshop activities in collaboration with the local
    organizers and the workshop chair.
  * Printing and providing workshop proceedings to the workshop attendants.

Reviewing Process:
==================

Each submitted proposal is reviewed by the Workshops Chair and the Conferences
Program Chairs. Proposals that appear well-organized and that fit the
goals and scope of LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04 will be selected.
The decision will be notified by email to the responsible organizer by
February 1st, 2004. The definitive length of the workshop will be planned
according to the number of submissions received by the different
workshops. For every accepted workshop, the LOPSTR'04 + PEPM'04 + PPDP'04
+ SAS'04 Organizing Committee will prepare a meeting place.

Workshop Location:
==================

The workshops will be held in parallel with LOPSTR'04 + PEPM'04 + PPDP'04
+ SAS'04, which will be held in Verona, Italy, from August 24 to
August 28, 2004. The conference will be held in the city centre.
Verona is among the most important historical and artistic town in
Italy, with more than two thousand years of history. During the Roman
Empire it was a political and commercial centre, whose magnificent
traces can still be seen in the Arena and the Roman Theatre.

Verona has always been synonymous with culture, nowadays it attracts
people from everywhere thanks to the Arena, the myth of Romeo and
Juliet and its precious beauty. LOPSTR'04 + PEPM'04 + PPDP'04 + SAS'04
have been scheduled at the end of August 2004, so that participants
may also appreciate the cultural events in town, such as the opera
at the Arena and other open air concerts and happenings.

Important Dates:
================

Proposals due: January 18, 2004
Notification of acceptance: February 1st, 2004
Workshops: August 24 to August 28, 2004

Workshop Chair:
=====================

Fausto Spoto (Dipartimento di Informatica, Verona, Italy)

Email: fausto.spoto at univr.it
Phone: +39 3204352527
Fax: +39 0458027068