ERCIM Working Group on Constraints Workshop 2001

PROGRAM
Home | Call for papers | Papers | Program | Local information

Sixth Annual Workshop of
the ERCIM Working Group on Constraints

Theme: constraint solving techniques and modelling real-life problems

Prague, Czech Republic
June 18-20, 2001

Monday, June 18

8:30 - 9:00 Registration and Opening

9:00 - 10:00 Invited Talk

Large Scale Constraint Applications
H. Simonis (Parc Technologies)

10:00 - 10:30 Coffee Break

10:30 - 11:30 Session 1

Enhancing Constraint Propagation with Composition Operators
Laurent Granvilliers and Eric Monfroy

Constraint Propagation in Presence of Arrays
Sebastian Brand

11:30 - 13:30 Lunch Break

13:30 - 15:00 Session 2

The "alldifferent" constraint: a survey
Willem Jan van Hoeve

Dynamic Global Constraints: A First View
Roman Barták

Assigning Satisfaction Values to Constraints: an Algorithm to Solve Dynamic Meta-Constraints
Janet van der Linden

15:00 - 15:30 Coffee Break

15:30 - 16:30 Session 3

Verification of Timed Automata Using Rewrite Rules and Strategies
Emmanuel Beffara, Olivier Bournez, Hassem Kacem, Claude Kirchner

CHR as grammar formalism: A first report
Henning Christiansen

19:00 - 23:00 Social Dinner

Tuesday, June 19

9:00 - 10:30 Invited Talk

Integrating Operation Research Techniques in Constraint Programming
M. Milano (Bologna University)

10:30 - 11:00 Coffee Break

11:00 - 12:00 Session 4

Variable and Value Ordering When Solving Balanced Academic Curriculum Problems
Carlos Castro and Sebastian Manzano

Solving Assembly Line Balancing Problems by Combining IP and CP
Alexander Bockmayr and Nicolai Pisaruk

12:00 - 14:00 Lunch Break

14:00 - 15:30 Session 5

Component Programming and Interoperability in Constraint Solver Design
Frédéric Goualard

Branching: the Essence of Constraint Solving
Antonio Fernandez and Patricia Hill

Solving Composed First-Order Constraints from Discrete-Time Robust Control
Stefan Ratschan and Luc Jaulin

Wednesday, June 20

9:00 - 10:00 Session 6

Soft Scheduling
Hana Rudova

CLP versus LS on Log-based Reconciliation Problems
François Fages

10:00 - 10:30 Coffee Break

10:30 - 11:30 Session 7

CLP Approaches to 2D Angle Placements
Tomasz Szczygiel

Interactive Timetabling
Tomas Müller and Roman Barták

Monday, June 18
8:30 - 9:00	Registration and Opening
9:00 - 10:00	Invited Talk
	Large Scale Constraint Applications H. Simonis (Parc Technologies)
10:00 - 10:30	Coffee Break
10:30 - 11:30	Session 1
	Enhancing Constraint Propagation with Composition Operators Laurent Granvilliers and Eric Monfroy Constraint Propagation in Presence of Arrays Sebastian Brand
11:30 - 13:30	Lunch Break
13:30 - 15:00	Session 2
	The "alldifferent" constraint: a survey Willem Jan van Hoeve Dynamic Global Constraints: A First View Roman Barták Assigning Satisfaction Values to Constraints: an Algorithm to Solve Dynamic Meta-Constraints Janet van der Linden
15:00 - 15:30	Coffee Break
15:30 - 16:30	Session 3
	Verification of Timed Automata Using Rewrite Rules and Strategies Emmanuel Beffara, Olivier Bournez, Hassem Kacem, Claude Kirchner CHR as grammar formalism: A first report Henning Christiansen
19:00 - 23:00	Social Dinner
Tuesday, June 19
9:00 - 10:30	Invited Talk
	Integrating Operation Research Techniques in Constraint Programming M. Milano (Bologna University)
10:30 - 11:00	Coffee Break
11:00 - 12:00	Session 4
	Variable and Value Ordering When Solving Balanced Academic Curriculum Problems Carlos Castro and Sebastian Manzano Solving Assembly Line Balancing Problems by Combining IP and CP Alexander Bockmayr and Nicolai Pisaruk
12:00 - 14:00	Lunch Break
14:00 - 15:30	Session 5
	Component Programming and Interoperability in Constraint Solver Design Frédéric Goualard Branching: the Essence of Constraint Solving Antonio Fernandez and Patricia Hill Solving Composed First-Order Constraints from Discrete-Time Robust Control Stefan Ratschan and Luc Jaulin
Wednesday, June 20
9:00 - 10:00	Session 6
	Soft Scheduling Hana Rudova CLP versus LS on Log-based Reconciliation Problems François Fages
10:00 - 10:30	Coffee Break
10:30 - 11:30	Session 7
	CLP Approaches to 2D Angle Placements Tomasz Szczygiel Interactive Timetabling Tomas Müller and Roman Barták