[We apologize if you receive this multiple times. Please redistribute
appropriately to interested parties.]
SECOND CALL FOR PARTICIPATION
CP2000
Sixth International Conference on
Principles and Practice of Constraint Programming
September 18-22, 2000, Singapore
http://www.comp.nus.edu.sg/~cp2000
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.
The conference program will consist of 3 invited talks, 4 tutorials,
31 technical research papers, a poster/demo session and 5 workshops.
The proceedings will be published by Springer Verlag in the Lecture
Notes in Computer Science series. A special issue of the Constraints
journal (Kluwer Academic Publishers) is planned, based on selected
papers.
=============
INVITED TALKS
=============
Alan Borning, University of Washington
"Constraints for Interactive Graphical Applications"
Alan Mackworth, University of British Columbia
"Constraint-Based Agents: The ABC's of CBA's"
David McAllester, AT&T Labs
"Meta-Complexity Theorems for Algorithm Design and Analysis"
=========
TUTORIALS
=========
T1: Structural CSP Decomposition Methods and Tractable CSPs
Georg Gottlob (Vienna University of Technology) and
Francesco Scarcello (University of Calabria)
T2: Constraint Handling Rules
Thom Fruehwirth (Ludwig-Maximilians-University)
T3: Integration of Mathematical Programming and Constraint Programming
for Combinatorial Optimization
Michela Milano (University of Ferrara)
T4: Satisfiability Models and Algorithms for Electronic Design
Automation
Joao Marques-Silva (Technical University of Lisbon)
=========
WORKSHOPS
=========
The following workshops will be held on Friday, 22 September, 2000:
W1: Soft Constraints: Theory and Practice
Contact person: Francesca Rossi, [EMAIL PROTECTED]
W2: Analysis and Visualization of Constraint Programs and Solvers
Contact person: Slim Abdennadher,
[EMAIL PROTECTED]
W3: TRICS: Techniques foR Implementing Constraint programming Systems
Contact person: Martin Henz, [EMAIL PROTECTED]
W4: Distributed Constraint Satisfaction
Contact person: Marius Silaghi, [EMAIL PROTECTED]
W5: Second Workshop on Rule-Based Constraint Reasoning and Programming
Contact person: Thom Fruehwirth,
[EMAIL PROTECTED]
===============
IMPORTANT DATES
===============
Early Registration Deadline: 14 August, 2000
Main Conference: 18-21 September, 2000
Workshops: 22 September, 2000
================
CONFERENCE VENUE
================
Located in Southeast Asia, the Republic of Singapore is a safe and
clean city-state. Known as the Lion City, Singapore is a modern
metropolis with one of the world's busiest ports and a world-class
airport. At the same time, the small tropical island has retained many
elements of its colonial past. The multiethnic nature of the
population provides a rich and varied cultural, religious, and
linguistic heritage.
The conference will take place at the Hilton Singapore, 581 Orchard
Road, Singapore (http://www.hilton.com/hotels/SINHITW). It is centrally
located in the heart of the business, shopping and entertainment
district.
=====================
PRELIMINARY PROGRAMME
=====================
=========================================================================
Monday, September 18, 2000
=========================================================================
8.00 - 8.45 Registration
8.45 - 9.00 Inaugural Session
--------------------------------------------
9.00 -10.00 Keynote Talk: Alan Borning
Constraints for Interactive Graphical Applications
--------------------------------------------
10.00-10.30 Tea/Coffee Break
--------------------------------------------
10.30-12.15 Session 1
--------------------------------------------
Practical Investigation of Constraints with Graph Views
Tobias Mueller
A Language for Audiovisual Template Specification and Recognition
Jean Carrive, Pierre Roy, Francois Pachet, Remi Ronfard
A Scalable Linear Constraint Solver for User Interface Construction
Hiroshi Hosobe
A Constraint Programming Approach for Solving Rigid Geometric Systems
Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher
--------------------------------------------
12.15-13.45 Lunch
--------------------------------------------
13.45-15.30 Session 2
--------------------------------------------
Extending Forward Checking
Fahiem Bacchus
New Search Heuristics for Max-CSP
Kalev Kask
Boosting Search with Variable Elimination
Javier Larrosa
A Hybrid Search Methodology and its Application to
Low-Autocorrelation Binary Sequence Problems
Steven Prestwich
--------------------------------------------
15.30-16.00 Tea/Coffee Break
--------------------------------------------
16.00-17.45 Session 3
--------------------------------------------
Expressiveness of full first order constraints in the algebra of
finite or infinite tree
Alain Colmerauer, Thi-Bich-Hanh Dao
Linear Formulation of Constraint Programming Models and Hybrid Solvers
Philippe Refalo
Cutting Planes in Constraint Programming: an hybrid approach
Filippo Focacci, Andrea Lodi, Michela Milano
Optimal Anytime Constrained Simulated Annealing for
Constrained Global Optimization
Benjamin W. Wah, Yi Xin Chen
--------------------------------------------
19.30-21.00 Welcome Reception
=========================================================================
Tuesday, September 19, 2000
=========================================================================
----------------------------------------------
9.00 -10.00 Keynote Talk: David McAllester
Meta-Complexity Theorems for Algorithm Design and
Analysis
----------------------------------------------
10.00-10.30 Tea/Coffee Break
--------------------------------------------
10.30-12.15 Session 4
--------------------------------------------
New Tractable Classes From Old
David Cohen, Peter Jeavons, Richard Gault
Refinements and Independence: A Simple Method for Identifying
Tractable Disjunctive Constraints
Mathias Broxvall, Peter Jonsson, Jochen Renz
Random 3-SAT: The Plot Thickens
Cristian Coarfa, Demetrios D. Demopoulos,
Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi
Analysis of Random Noise and Random Walk Algorithms for
Satisfiability Testing
Bhaskar Krishnamachari, Xi Xie, Bart Selman, Stephen Wicker
--------------------------------------------
12.15-13.45 Lunch
--------------------------------------------
13.45-15.15 Tutorial 1 / Tutorial 2 (in parallel)
--------------------------------------------
15.15-15.45 Tea/Coffee Break
--------------------------------------------
15.45-17.15 Tutorial 3 / Tutorial 4 (in parallel)
=========================================================================
Wednesday, September 20, 2000
=========================================================================
--------------------------------------------
9.00-9.50 Session 5
--------------------------------------------
Maintaining Arc-Consistency within Dynamic Backtracking
Narendra Jussien, Romuald Debruyne, Patrice Boizumault
SAT v CSP
Toby Walsh
--------------------------------------------
9.50-10.20 Posters: 2-minutes presentation each
--------------------------------------------
10.20-12.15 Tea/Coffee Break together with
Poster and Demonstration Session
--------------------------------------------
12.15-13.45 Lunch
--------------------------------------------
13.45-15.30 Session 6
--------------------------------------------
Singleton Consistencies
Patrick Prosser, Kostas Stergiou, Toby Walsh
Arc Consistency on n-ary Monotonic and Linear Constraints
Yuanlin Zhang, Roland Yap
Automatic Generation of Propagation Rules for Finite Domains
Slim Abdennadher, Christophe Rigotti
--------------------------------------------
15.30-16.00 Tea/Coffee Break
--------------------------------------------
16.00-17.45 Session 7
--------------------------------------------
A Global Constraint Combining a Sum Constraint and Difference
Constraints
Jean-Charles Regin, Michel Rueher
Global constraints as graph properties on a structured network of
elementary constraints of the same type
Nicolas Beldiceanu
Faster Algorithms for Bound-Consistency of the Sortedness and the
Alldifferent Constraint
Kurt Mehlhorn, Sven Thiel
Universally Quantified Interval Constraints
Frederic Benhamou, Frederic Goualard
--------------------------------------------
18.35 Banquet and Excursion to Night Safari
=========================================================================
Thursday, September 21, 2000
=========================================================================
----------------------------------------------
9.00 -10.00 Keynote Talk: Alan Mackworth
Constraint-Based Agents: The ABC's of CBA's
----------------------------------------------
10.00-10.30 Tea/Coffee Break
--------------------------------------------
10.30-12.15 Session 8
--------------------------------------------
Arc consistency for soft constraints
Thomas Schiex
Constraint Propagation for Soft Constraints: Generalizations and
Termination Conditions
Stefano Bistarelli, Rosella Gennari, Francesca Rossi
A constraint based framework for prototyping distributed
virtual applications
Vineet Gupta, Lalita J. Jagadeesan, Radha Jagadeesan, Xiaowei Jiang,
Konstantin Laufer
Instruction Scheduling with Timing Constraints on a Single RISC
Processor with 0/1 Latencies
Hui Wu, Joxan Jaffar, Roland Yap, Krishna Palem
--------------------------------------------
12.15-13.45 Lunch
--------------------------------------------
13.45-14.35 Session 9
--------------------------------------------
Constraints, Inference Channels and Secure Databases
Alex Brodsky, Csilla Farkas, Duminda Wijesekera, Xiaoyang Sean Wang
Efficient Querying of Periodic Spatiotemporal Objects
Peter Revesz, Mengchu Cai
----------------------------------------------
14.35-15.00 Tea/Coffee Break
--------------------------------------------
15.00-16.00 Panel Discussion (to be announced)
--------------------------------------------
16.20-20.30 Optional Excursion
=========================================================================
Friday, September 22, 2000
=========================================================================
9.00-17.00 5 Full-day Post Conference Workshops
======
TRAVEL
======
The conference site can be reached by airplane to Singapore Changi
Airport (http://www.changi.airport.com.sg/). From there, you use the
Airport Shuttle Service to your hotel (7 S$), or a taxi if you have
other accomodation.
Entry into Singapore requires Visa for citizen of the countries listed by
Singapore Immigration (http://www.sir.gov.sg/travel_tips/visareqs.html).
This website contains also other useful information on entry/exit
formalities.
===================================
REGISTRATION and HOTEL RESERVATIONS
===================================
The details of registration and hotel booking information will
be available on the CP2000 webpage shortly.
Early registrations should be received by 14 August, 2000.
Registration fees are as follows:
Full Conference Registration Fees including Workshops
Full Student
Early Registration S$650 S$300
After 14 Aug, 2000 S$750 S$350
All amounts are in Singapore dollars (S$). As a guide, foreign
currency exchange rates for the Singapore Dollar on 19 June 2000 are:
US$1 : S$1.72
Euro$1 : S$1.67
Full registration includes the participation in the main conference
and workshops, proceedings, reception, conference banquet and visit to
the Night Safari. An optional excursion to Sentosa Island is planned.
Student registration includes participation to the main conference,
workshops, proceedings and reception.
Workshop only Registration Fees
Early Registration S$150
After 14 Aug, 2000 S$200
Workshop only registration allows participants to attend just the
conference workshops on 22 September, 2000.
Admission to workshops is already included for participants registered
for the main conference.
A block of rooms has been reserved with the Hilton Singapore up to
17 August 2000. The conference room rates are:
Deluxe Room (based on per room per night)
Single S$170 (includes breakfast)
Twin/double S$190 (includes breakfast)
Executive Floor Room (based on per room per night)
Single/Twin S$220
The above room rates do not include taxes and the breakfast provided is
full American buffet breakfast.
To obtain the conference rate, room reservations should be made directly
to the conference hotel, Hilton Singapore, using the reservation forms
from the CP2000 webpage. We strongly recommend that you book by August
17 as there may be less rooms available after that date.
=======================
CONFERENCE ORGANIZATION
=======================
Program Chair:
Rina Dechter, University of California,
[EMAIL PROTECTED], [EMAIL PROTECTED]
General Chair:
Roland Yap, National University of Singapore, Singapore
[EMAIL PROTECTED]
Program Committee:
Krzysztof Apt (CWI) Henry Kautz (AT&T Labs)
Roberto Bayardo (IBM, Almaden) Manolis Koubarakis (T. U. of Crete)
Peter van Beek (U. of Alberta) Michael Maher (Griffith U.)
Alexander Bockmayr (LORIA) Jean-Francois Puget (ILOG)
Alex Brodsky (George Mason U.) Barbara Smith (U. of Leeds)
Philippe Codognet (U. of Paris, 6) Francesca Rossi (U. of Padova)
Boi Faltings (LIA-EPFL) Helmut Simonis (Cosytec)
Ian Gent (U. of St Andrews) Christian Schulte (U. d. Saarlandes)
John Hooker (CMU) Mark Wallace (IC-Parc, Imp. College)
Joxan Jaffar (Natl. U. Singapore) Makoto Yokoo (NTT)
Peter Jeavons (Oxford U.)
Workshop and Tutorial Chair:
Toby Walsh, The University of York, [EMAIL PROTECTED]
Publicity Chair:
Martin Henz, National University of Singapore, [EMAIL PROTECTED]
