Final CFP: CP98 workshop on set constraints and constraint-based program analysis

                          CALL FOR PAPERS
                           CP98 Workshop
        Set Constraints and Constraint-based Program Analysis

                           Pisa, Italy
                         30 October 1998
(in conjunction with the Fourth International Conference on Principles
and Practice of Constraint Programming, http://www.di.unipi.it/cp98/)

Scope:  The first uses of set constraints date back at least to John
Reynold's early work on program analysis in 1969. In the last decade
there has been a significant increase in the interest in set
constraints, with major advances both in the foundations of set
constraints as well as in applications.  Meanwhile, constraints have
become a core technology in areas such as types and program
analysis. Constraint-based approaches have led to many algorithmic and
conceptual advances in type inference (particularly subtypes),
data-flow analysis, control-flow analysis, binding-time analysis, and
sorted-unification. Many of these works directly use set constraints;
other used equational and constraint theories of which set constraints
are a generalization.

Organizing Committee:
   Alexander Aiken (UC Berkeley,  U.S.A.)
   Harald Ganzinger (Max Planck Institute, Germany)
   Nevin Heintze (Bell Laboratories, U.S.A.)
   Fritz Henglein (DIKU, University of Copenhagen)
   Joxan Jaffar (National University of Singapore)
   Bruno Legeard (Univ. of Franche-Comté, France)
   David McAllester (AT&T Laboratories, U.S.A.)
   Leszek Pacholski (University of Wroclaw, Poland)
   Jens Palsberg (Purdue University)
   Andreas Podelski (Max Planck Institute, Germany)
   Jean-Francois Puget (ILOG, France)
   Jakob Rehof (Microsoft Research, U.S.A.)
   Sophie Tison (University of Lille, France)

Submission Details:
Authors are invited to submit short papers (2-8 pages) for
presentation at the workshop, by email to podelski@mpi-sb.mpg.de.
Papers may describe preliminary or partial results as well as finished
research. Position papers are also welcome.

Topics of interest include, but are not limited to:
- decision procedures and algorithms,
- applications,
- implementation,
- connections with other areas such as model checking.

The aim of this workshop is to bring together researchers working on
all aspects of set constraints, and provide a forum for discussing
novel applications, implementation, new results and open problems. We
also hope that the workshop will give a sense of the diversity of set
constraints applications, and in so doing generate new problems,
approaches, and opportunities.

Submissions deadline: July 15, 1998
Acceptance decisions: August 20
Camera-ready deadline: September 20
Workshop: October 30