Apologies if you receive this more than once:
More than 240 people have already registered for the joint
ICLP'01/CP'01 conference. However, due to the recent turmoil in the
world and the fact that many of the workshops have had late
notification dates, the organizers of ICLP'01/CP'01 have extended the
deadline for early registration to 2nd Nov., 2001. Please register as
soon as possible, to take advantage of these reduced rates. Early
registration also helps us in planning better.
INTERNATIONAL CONFERENCE on CONSTRAINT PROGRAMMING, 2001
--------------------------------------------------------
http://www.cs.ucy.ac.cy/~iclpcp01/
MONDAY
08.45 Opening
09.00 Invited talk
Is Logic Really Dead, or Only Just Sleeping ?
Robert Kowalski (Imperial College, London)
10.30 Coffee
11.15 Best papers
Hybrid Benders Decomposition Algorithms in Constraint Logic
Programming
Andrew Eremin and Mark Wallace
Innovative Application:
Fast Optimal Instruction Scheduling for Single-issue Processors
with
Arbitrary Latencies
Peter van Beek and Kent Wilken
Branch-and-Check: A Hybrid Framework Integrating Mixed Integer
Programming and Constraint Logic Programming
Erlendur S. Thorsteinsson
12.45 Lunch
14.30 Technical session (new directions)
Constraint-based Verification of Client-Server Protocols
Giorgio Delzanno and Tevfik Bultan
Collaborative Learning for Constraint Solving
Susan L. Epstein and Eugene C. Freuder
Towards Stochastic Constraints Programming: A Study of On-Line
Multi
Choice Knapsack with Deadlines
Thierry Benoist, Eric Bourreau, Yves Caseau and Benoit Rottembourg
14.30 Technical session (symmetry)
Global Cut Framework for Removing Symmetries
Filippo Focacci and Michela Milano
Breaking Symmetries
Torsten Fahle, Stefan Schamberger and Meinolf Sellmann
The non-existence of (3,1,2)-Conjugate Orthogonal Idempotent Latin
Square of order 10
Olivier Dubois
16.00 Coffee
16.45 Technical session (SAT and its extensions)
Random 3-SAT and BDDs: The Plot Thickens Further
Alfonso San Miguel Aguirre and Moshe Y. Vardi
Capturing Structure with Satisfiability
Ramon Bejar, Alba Cabiscol, Cesar Fernandez, Felip Manya and Carla
Gomes
Formal Models of Heavy-Tailed Behavior in Combinatorial Search
Hubie Chen, Carla P. Gomes, and Bart Selman
16.45 Doctoral Tutorial (open to all)
How to write a good paper
Krzysztof Apt, CWI and University of Amsterdam
19.00 Welcome Reception/Dinner (at the Hotel)
TUESDAY
09.00 Invited talk
Constraint Satisfaction and Database Theory
Moshe Y. Vardi, Rice University
10.00 Technical session (modelling)
Solving Non-Binary CSPs Using the Hidden Variable Encoding
Nikos Mamoulis and Kostas Stergiou
10.30 Excursion to Paphos Mosaics & St Paul's Pillar
13.00 Lunch
14.30 Innovative applications:
Evaluation of Search Heuristics for Embedded System Scheduling
Problems
Cecilia Ekelin and Jan Jonsson
Interpreting Sloppy Stick Figures with Constraint-based Subgraph
Matching
Markus P.J. Fromherz and James V. Mahoney
Selecting and scheduling observations for agile satellites: some
lessons from the constraint reasoning community point of view
Gerard Verfaillie and Michel Lematre
A Dynamic Distributed Constraint Satisfaction Approach to Resource
Allocation
Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, and
Shriniwas Kulkarni
16.30 Coffee
17.15 Technical session (global constraints)
A Filtering Algorithm for the Stretch Constraint
Gilles Pesant
Network flow problems in constraint programming
Alexander Bockmayr, Nicolai Pisaruk, and Abderrahmane Aggoun
Pruning for the minimum Constraint Family and for the number of
distinct
values Constraint Family
Nicolas Beldiceanu
17.15 Doctoral Tutorial (open to all)
How not to give a talk
Eugene Freuder, Cork Constraint Computation Center
18.15 Poster previews (presentations)
19.00 Posters
20.00 Doctoral Students Gathering
WEDNESDAY
09.00 Invited talk
What I foresee for 4C.
Eugene Freuder, Cork Constraint Computation Center
10.00 Technical session (modelling)
A Constraint Programming Approach to the Stable Marriage Problem
I.P. Gent, R.W. Irving, D.F. Manlove, P. Prosser, and B.M. Smith
10.30 Coffee
11.00 Technical session (optimization)
Lower Bounds for Non-binary Constraint Optimization Problems
Pedro Meseguer, Javier Larrosa and Marti Sanchez
New Lower Bounds of Constraint Violations for Over-Constrained
Problems
Jean-Charles Regin, Thierry Petit, Christian Bessiere and
Jean-Francois Puget
A General Scheme for Multiple Lower Bound Computation in
Constraint
Optimization
Rina Dechter, Kalev Kask and Javier Larrosa
11.00 Tutorial
Local Search and Constraint Programming
Filippo Focacci, Francois Laburthe, and Andrea Lodi
12.30 Lunch
13.45 Excursion:
Aphrodite's Trail
Performance by the Cyprus Orchestra of Ancient Greek
Musical Organs
Light Dinner
THURSDAY
09.00 Technical session (new directions)
Towards Inductive Constraint Solving
Slim Abdennadher and Christophe Rigotti
A Temporal Concurrent Constraint Programming Calculus
Catuscia Palimidessi and Frank D. Valencia
10.00 Innovative applications:
A Constraint Optimization Framework for Mapping a Digital Signal
Processing Application onto a Parallel Machine
J. Mattioli, N. Museux, P. Saveant, and S. de Givry
10.30 Coffee
11.15 Innovative applications:
iOpt: A Software Toolkit for Heuristic Search Methods
Christos Voudouris, Raphael Dorne, David Lesaint, and Anne Liret
AbsCon: a prototype to solve CSPs with abstraction
Sylvain Merchez, Christophe Lecoutre and Frederic Boussemart
A Constraint Engine for Manufacturing Process Planning
Jozsef Vancza and Andras Markus
11.15 Tutorial
Complexity of Constraint Solving Problems
Nadia Creignou, Miki Hermann and Reinhard Pichler
12.45 Lunch
14.30 Tutorial
Constraint programming and Operation Research
John Hooker
14.30 Tutorial
Soft constraints theory, algorithms and applications
Pedro Meseguer, Francesca Rossi and Thomas Scheix
16.00 Coffee
16.30 Technical session (search and propagation)
Components for State Restoration in Tree Search
Chiu Wo Choi, Martin Henz, and Ka Boon Ng
Adaptive Constraint Handling with CHR in Java
Armin Wolf
Consistency Maintenance for ABT
Marius-Calin Silaghi, Djamila Sam-Haroud, and Boi Faltings
16.30 Technical session (geometric constraints)
Solving Disjunctive Constraints for Interactive Graphical
Applications
Kim Marriott, Peter Moulder, Peter J. Stuckey, and Alan Borning
Sweep as a Generic Pruning Technique Applied to the
Non-Overlapping
Rectangles Constraint
Nicolas Beldiceanu and Mats Carlsson
Non-overlapping Constraints between Convex Polytopes
Nicolas Beldiceanu, Qi Guo and Sven Thiel
18.30 Conference Dinner at the wine village of Polemi (Cypriot Night)
FRIDAY
09.00 Invited talk
Toward theoretical frameworks for comparing constraint
satisfaction models and algorithms
Peter van Beek, University of Waterloo
10.00 Technical session (phase transition behaviour)
Phase Transitions and Backbones of Constraint Minimization
Problems
Weixiong Zhang
10.30 Coffee
11.15 Technical session (phase transition behaviour)
The Phase Transition of the Linear Inequalities Problem
Alessandro Armando, Felice Peccia, and Silvio Ranise
In Search of a Phase Transition in the AC-Matching Problem
Phokion G. Kolaitis and Thomas Raffill
11.15 Technical session (biology)
A CLP approach to the protein side-chain placement problem
Martin T. Swain and Graham J.L. Kemp
Fast, Constraint-based Threading of HP-Sequences to Hydrophobic
Cores
Rolf Backofen and Sebastian Will
11.15 Tutorial
Interval constraints for numerical analysis
Maarten van Emdem
12.45 Lunch
14.00 Invited Talk
Alain Colmerauer (University of Marseille, France)
Solving the mutiplication constraint in several approximation
spaces
15.30 Coffee
16.00 Technical session (optimization)
Specific Filtering Algorithms for Over-Constrained Problems
Thierry Petit, Jean-Charles Regin and Christian Bessiere
Specializing Russian Doll Search
Pedro Meseguer and Marti Sanchez
16.00 Technical session (hardware and continuous constraints)
One Flip per Clock Cycle
Edgar Tan, Martin Henz, and Roland Yap
Solving Constraint Over Floating-Point Numbers
Claude Michel, Michel Rueher, and Yahia Lebbah
Optimal Pruning for Parametric Ordinary Differential Equations
Micha Janssen, Pascal Van Hentenryck, and Yves Deville
16.00 Doctoral Tutorial (open to all)
How to transform an idea into a company
Ashish Gupta, Chief Scientific Officer, Tavant Technologies
17.30 Joint CP & ICLP Panel
"The future of LP and CP Systems"
SATURDAY (1st of December)
9.00 Workshops till 19.00.
SUNDAY
Excursions to the Akamas Nature Reserve
(Optional - Not included in the Registration Fee)
This archive was generated by hypermail 2b29 : Fri Oct 26 2001 - 13:22:04 PDT