Bocca della Verita

CSCLP 2008
Annual ERCIM Workshop on
Constraint Solving and Constraint Logic Programming

June, 18 - 20, 2008
ISTC-CNR, Institute for Cognitive Science and Technology
Rome, Italy

June 18

14.30 - 15.00 Registration/Welcome
15.00 - 16.00 Invited Talk

Nic Wilson
Cork Constraint Computation Centre
Reasoning with Comparative Preferences in Combinatorial Problems [.pdf]


16.00 - 16.30 Coffee Break
16.30 - 17.45 Session A: Preferences / Optimization
  • Marco Gavanelli and Maria Silvia Pini. FCP-Nets: extending constrained CP-nets with objective functions. [.pdf]
  • Maria Silvia Pini, Francesca Rossi, K. Brent Venable, and Rina Dechter. Robust solutions in unstable optimization problems. [.pdf]
  • Roie Zivan, Uri Shapen, Amnon Meisels, and Meir Kalech. Hybrid Search for Dynamically Changing CSPs. [.pdf]

17.45 Ð 19.00 Welcome Cocktail

June 19

9.00 - 10.00 Invited Talk

Pedro Meseguer
IIIA-CSIC, Spain
Distributed Constraint Satisfaction and Optimization [.pdf]


10.00 - 10.30 Coffee break
10.30 - 12.10 Session B: Search / SAT
  • Thanasis Balafoutis, and Kostas Stergiou. On Conflict-driven variable ordering heuristics. [.pdf]
  • Roie Zivan, Uri Shapen, Moshe Zazone, and Amnon Meisels. MAC-DBT Revisited. [.pdf]
  • Pavel Surynek. Making Path Consistency Stronger for SAT. [.pdf]
  • Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, and Tino Teige. Challenges in Constraint-based Analysis of Hybrid Systems. [.pdf]

12.10 - 14.00 Lunch Break
14.00 - 15.15 Session C: Scheduling / Execution
  • Roman Barták. Search Strategies for Scheduling Problems with Optional Activities. [.pdf]
  • Andrea Orlandini. Model-Based Rescue Robot Control with ECLiPSe Framework. [.pdf]
  • Angelo Oddi, Amedeo Cesta, Nicola Policella, and Stephen S. Smith. Recent Developments on Iterative Flattening Search. [.pdf]

15.15 - 19.00 Guided Tour
20.00 Social Dinner

June 20

9.00 - 10.00 Invited Talk

Tom Schrijvers
K. U. Leuven, Belgium
A Taste of Constraint Handling Rules Today [.pdf]


10.00 - 10.30 Coffee Break
10.30 - 12.10 Session D: Rules
  • Henning Christiansen. Probabilistic Abductive Logic Programming in Constraint Handling Rules. [.pdf]
  • Francois Fages, Cleyton Mario de Oliveira Rodrigues, and Thierry Martinez. Modular CHR with ask and tell. [.pdf]
  • Frédéric Lardeux, Eric Monfroy, and Frédéric Saubion. Managing Multiple Alldifferent Constraints in CSP and SAT. [.pdf]
  • Khalil Djelloul. An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints. [.pdf]

12.10 - 14.00 Lunch Break
14.00 - 15.15 Session E - Constraint Programming
  • Ammar Mohammed and Ulrich Furbach. Using CLP to Model Hybrid Systems. [.pdf]
  • Francois Fages and Julien Martin. From Rules to Constraint Programs with the Rules2CP Modelling Language. [.pdf]
  • George Katsirelos, Nina Narodytska, and Toby Walsh. Combining Symmetry Breaking and Global Constraints. [.pdf]

15.15 - 15.30 Closing

Sponsors

Association for Constraint Programming ERCIM ISTC-CNR Planning and Scheduling Team University of Padua