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. We now have algorithms and complexity characterizations for a large variety of classes of set constraints. Connections have been established between set constraints and various fragments of logic, including the theory of $k$ successors, tree automaton, and monadic logic. 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.
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.
SUBMISSION DETAILS
Authors are invited to submit short papers (2-8 pages) for presentation at the
workshop. We anticipate distributing a proceedings of accepted papers.
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
- set constraints over new domains (e.g. arithmetic)
- applications
- implementation
- connections with other areas
Submissions deadline: May 1
Acceptance decisions: June 15
Camera-ready deadline: July 15
Workshop: Monday, August 19
WORKSHOP ORGANIZING COMMITTEE
Harald Ganzinger (Max-Planck Institute, Germany, hg@mpi-sb.mpg.de)
Nevin Heintze (Bell Laboratories, U.S.A., nch@research.att.com)
David McAllester (AT&T Laboratories, U.S.A., dmac@research.att.com)
Leszek Pacholski (University of Wroclaw, Poland, pacholsk@tcs.uni.wroc.pl)
Andreas Podelski (Max-Planck Institute, Germany, podelski@mpi-sb.mpg.de)