CALL FOR PARTICIPATION
Third International Conference on Principles and Practice of
Constraint Programming (CP97)
Schloss Hagenberg, Austria, October 29 - November 1, 1997
Scope of the Conference
Constraints have emerged as the basis of a representational and
computational paradigm that draws from many disciplines and can
be brought to bear on many problem domains. The conference is
concerned with all aspects of computing with constraints including:
algorithms, applications, environments, languages, models, systems.
Conference Venue
CP97 will take place at Schloss Hagenberg, a medieval, renovated
castle close to Linz, Austria, known as the site of the Research
Institute for Symbolic Computation (RISC).
Invited Speakers
Steven Minton: ``Configurable Solvers: Tailoring General Methods to
Specific Applications''
Pascal Van Hentenryck: ``A Modeling Language for Constraint Programming''
Tutorial Speakers
Yves Caseau: ``Complex scheduling problems that require complex resources
and travel''
Laurent Michel and Jean-Francois Puget: ``Interval methods for non linear
constraints''
Leszek Pacholski and Andreas Podelski: ``Set Constraints''
Paper Presentations
The list of 37 accepted papers (out of 132 submissions) is below.
The proceedings will be published in the Springer LNCS series; they
will be available at the conference.
Selected papers will appear in a special issue of the CONSTRAINTS
journal devoted to the conference.
Workshops on October 27-28, preceding the Conference
FTP97 International Workshop on First-Order Theorem Proving
COTIC 97 Concurrent Constraint Programming for Time Critical Applications
Annual workshop of the CompulogNet, area "Constraint Programming", joint
with the second meeting of the ERCIM working group on Constraints
CP97 Workshops on November 1, the last day of the Conference
Constraints and Bioinformatics/Biocomputing
Constraint Reasoning on the Internet
The Theory and Practice of Dynamic Constraint Satisfaction
Industrial Constraint-directed Scheduling
Set Constraints and Constraint-based Program Analysis
Official Sponsors: Compulog, Ilog, Prologia, DFKI, MPI, RISC
Conference Organization
Conference Chair:
Bruno Buchberger (RISC)
Bruno.Buchberger@risc.uni-linz.ac.at
Program Chair:
Gert Smolka (DFKI and Universitaet des Saarlandes)
smolka@ps.uni-sb.de
Program Committee:
Franz Baader (RWTH Aachen)
Frederic Benhamou (University of Orleans)
Alex Brodsky (George Mason University)
Yves Caseau (Bouygues)
Hoon Hong (RISC)
John Hooker (CMU)
Joxan Jaffar (National University of Singapore)
Claude Kirchner (INRIA Lorraine and CRIN)
Michael Maher (Griffith University)
Kim Marriott (Monash University)
Dave McAllester (AT&T Research)
Ken McAloon (Brooklyn College)
Bernhard Nebel (University of Freiburg)
Tobias Nipkow (TU Muenchen)
Martin Odersky (TU Karlsruhe and University of South Australia)
Catuscia Palamidessi (University of Genova)
Andreas Podelski (Max-Planck-Institut fuer Informatik)
Jean-Francois Puget (ILOG)
Francesca Rossi (University of Pisa)
Thomas Schiex (INRA)
Bart Selman (AT&T Research)
Gert Smolka (DFKI and Universitaet des Saarlandes)
Peter J. Stuckey (University of Melbourne)
Edward Tsang (University of Essex)
Peter van Beek (University of Alberta)
Mark Wallace (ICL/Imperial College)
Publicity and Workshop Chair:
Andreas Podelski (Max-Planck-Institut fuer Informatik)
podelski@mpi-sb.mpg.de
Organizing Committee:
Alan Borning (University of Washington)
Alain Colmerauer (University of Marseille)
Eugene Freuder (University of New Hampshire)
Jean-Pierre Jouannaud (University of Paris Sud)
Jean-Louis Lassez (New Mexico Tech)
Ugo Montanari (University of Pisa)
Anil Nerode (Cornell University)
Vijay Saraswat (AT&T Research)
Pascal Van Hentenryck (Brown University)
Ralph Wachter (Office of Naval Research)
----------------------------------------------------------------------
CP97 Accepted Papers
Operational Semantics and Confluence of Constraint Propagation Rules
Slim Abdennadher
Random Constraint Satisfaction: A More Accurate Picture
Dimitris Achlioptas, Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc,
Michael S.O. Molloy, Yannis C. Stamatiou
Constraint Propagation and Decomposition Techniques for Highly Disjunctive
and Highly Cumulative Project Scheduling Problems
Philippe Baptiste, Claude Le Pape
Five Pitfalls of Empirical Scheduling Research
J. Christopher Beck, Andrew J. Davenport, Mark S. Fox
Satisfiability of Quantitative Temporal Constraints with Multiple
Granularities
Claudio Bettini, X. Sean Wang, Sushil Jajodia
Narrowing a block of sortings in quadratic time
Noelle Bleuzen Guernalec, Alain Colmerauer
Semantics and expressive power of a Timed Concurrent Constraint Language
F.S. de Boer, M. Gabbrielli, M.C. Meo
AC unification of Higher-Order Patterns
Alexandre Boudet, Evelyne Contejean
Solving Various Weighted Matching Problems with Constraints
Yves Caseau, Francois Laburthe
Tractable Disjunctive Constraints
David Cohen, Peter Jeavons, Manolis Koubarakis
>From Restricted Path Consistency to Max-Restricted Path Consistency
Romuald Debruyne, Christian Bessiere
Solving Classes of Set Constraints with Tree Automata
P. Devienne, JM. Talbot, S. Tison
Tabu Search for Maximal Constraint Satisfaction Problems
Philippe Galinier, Jin-Kao Hao
The Logic of Search: Theory and Applications
Ian P. Gent, Judith L. Underwood
The Constrainedness of Arc Consistency
Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Paul Shaw, Toby Walsh
Bounding the Optimum of Constraint Optimization Problems
Simon de Givry, Gerard Verfaillie, Thomas Schiex
Heavy-Tailed Probability Distributions in Combinatorial Search
Carla P. Gomes, Bart Selman, Nuno Crato
Tractable Recursion over Geometric Data
Stephane Grumbach, Gabriel Kuper
Reconfigurable architectures: A new vision for optimization problems
Youssef Hamadi, David Merceron
Compiling Constraint Solving using Projection
Warwick Harvey, Peter Stuckey, Alan Borning
On the Complexity of Unification and Disunification in Commutative
Idempotent Semigroups
Miki Hermann, Phokion G. Kolaitis
Distributed Partial Constraint Satisfaction Problem
Katsutoshi Hirayama, Makoto Yokoo
Finding Dense Subgraphs of Constraint Graphs
Christoph M. Hoffman, Andrew Lomonosov, Meera Sitharam
Counting, structure identification and maximum consistency for binary
constraint satisfaction problems
Gabriel Istrate
Oscillation, Heuristic Ordering and Pruning in Neighborhood Search
Jean-Marc Labat, Laurent Mynard
Look-Ahead Versus Look-Back for Satisfiability Problems
Chu Min Li, Anbulagan
Verification of Parallel Systems using Constraint Programming
Stephan Melzer
Localizer: A Modeling Language for Local Search
Laurent Michel, Pascal Van Hentenryck
Ordering Constraints over Feature Trees
Martin Mueller, Joachim Niehren and Andreas Podelski
GENIUS-CP: a Generic Vehicle Routing Algorithm
Gilles Pesant, Michel Gendreau, Jean-Marc Rousseau
A filtering algorithm for global sequencing constraints
Jean-Charles Regin, Jean-Francois Puget
Statistical Analysis of Backtracking on Inconsistent CSPs using Reliability
Models
Irina Rish, Daniel Frost
Understanding and Improving the MAC Algorithm
Daniel Sabin, Eugene C. Freuder
Programming Constraint Inference Engines with First-Class Computation Spaces
Christian Schulte
NeMo+: Object-Oriented Constraint Programming Environment Based on
Subdefinite Models
Igor Shvetsov, Vitaly Telerman, Dmitry Ushakov
Modelling Exceptionally Hard Constraint Satisfaction Problems
Barbara M. Smith, Stuart A. Grant
Why Adding More Constraints Makes a Problem Easier for Hill-climbing
Algorithms: Analyzing Landscapes of CSPs
Makoto Yokoo
----------------------------------------------------------------------
Registration Form
Third International Conference on Principles and Practice of
CONSTRAINT PROGRAMMING (CP 97)
RISC, Castle of Hagenberg, Austria
October 29 - November 1, 1997
Personal Data:
Family Name:
First Name:
Affiliation:
Mailing Address:
Country:
e-mail:
Phone:
Fax:
Conference Registration fees:
Registration and payment Registration and payment
received by Sept. 19, 1997 received after Sept. 19, 1997
Regular* USD 420 USD 460
Students** USD 200 USD 240
Accompanying
Person *** USD 230 USD 270
Additional banquet ticket: USD 50 USD 50
For lunches etc.: o Vegetarian o Regular food
Payment:
Please choose one of the following. All payments must be made in US $.
o I have remitted the above total fee on . . . . . . . . . . .(Date)
to the account "CP97", No. 26203, Raiffeisenbank Hagenberg, BLZ: 34151,
A-4232 Hagenberg, Austria (Europe).
I add a copy of the transfer form to confirm the remittance.
o I add a bank cheque for the above total fee payable to the account
"CP97" No. 26203, Raiffeisenbank Hagenberg, BLZ: 34151,
A-4232 Hagenberg, Austria (Europe).
o I agree to remit above total fee by credit card
o American Express o Mastercard o VISA
Card Number:
Card holder's name:
Expiration Date:
Date: Authorized Signature:
Date
Signature
* Fee for regular participant includes: proceedings, refreshment breaks,
lunches (hors d'oeuvre, main meal, dessert, drink), conference
banquet, shuttle bus from conference hotel to the conference site and
back, shuttle bus to the restaurant for the conference dinner, guided
walk in the hilly area of the "Muehlviertel".
** Fee for students includes: proceedings, refreshment breaks,
lunches (hors d'oeuvre, main meal, dessert, drink), shuttle bus
from conference hotel to the conference site and back, guided walk
in the hilly area of the "Muehlviertel".
*** Fee for accompanying person includes: all conference sessions,
refreshment breaks, lunches (hors d'oeuvre, main meal, dessert,
drink), conference banquet, shuttle bus from conference hotel to
the conference site and back, shuttle bus to the restaurant for
the conference dinner, guided walk in the hilly area of the
"Muehlviertel".
Social programme for accompanying persons and guests (excursion to
Salzburg or Vienna) is planned. Please contact the conference office
(bcurtis@risc.uni-linz.ac.at).
Please send the completed form by e-mail or fax or surface mail to:
Betina Curtis, RISC - Research Institute for Symbolic Computation
Schloss Hagenberg, A-4232 Hagenberg
Fax: +43(7236)323130
Tel.:+43(7236)323121
E-mail: bcurtis@risc.uni-linz.ac.at
----------------------------------------------------------------------
Hotel Reservation Form
Third International Conference on Principles and Practice of
Constraint Programming (CP 97)
RISC, Castle of Hagenberg, Austria
October 29 - November 1, 1997
Name:
Affiliation
Address:
e-mail:
Phone:
Fax:
Accompanying Person(s):
Family Name: First Name:
I reserve as follows:
Arrival Date: Departure Date:
o single room ATS 890,- = about US $ 75,- per day/person
o double room ATS 550,- = about US $ 47,- per day/person
Included in the price:
Breakfast buffet, health club, shuttle service airport - hotel -
airport.
There is a small contingent of student rooms available. These
accommodations are secluded
and scattered over the region. If you want to reserve this
room-category, please contact the
local organizer Betina Curtis, e-mail: bcurtis@risc.uni-linz.ac.at).
o I arrive by plane and need a shuttle service to the hotel:
Arrival time:
Flight from:
Flight number:
Please send the completed form by e-mail or fax or surface mail to:
Betina Curtis, RISC - Research Institute for Symbolic Computation
Schloss Hagenberg, A-4232 Hagenberg
Fax: +43(7236)323130
Tel.:+43(7236)323121
E-mail: bcurtis@risc.uni-linz.ac.at
--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------