New:
[ Accomodation ]
[ Location ]
Index:
[ Overview ]
[ Scope ]
[ Call for Papers ]
[ Important Dates ]
[ Registration ]
[ Schedule ]
|
The Springer volume of selected papers from the workshop has been published:
Recent Advances in Constraints, Springer LNAI, Vol.2627, Springer, 2003.
Overview
This workshop will co-locate two events: the seventh meeting of the
ERCIM Working Group on Constraints,
co-ordinated by Krzysztof R. Apt, and the first annual workshop
of the CologNet area on Constraint and Logic Programming, coordinated by
Francesca Rossi. CologNet is a European-funded Network of Excellence,
which continues the role played by the CompulogNet network, which ended in 2001.
The aim of this workshop is to constitute a forum where (mostly
European) researchers on constraints can meet in an informal setting
and discuss their most recent work. The location we chose this year
is especially interesting, since the
Cork Constraint Computation Centre
is a new research centre, supported by
Science Foundation Ireland and led
by Eugene Freuder, which is entirely devoted to studying constraint processing.
Thus the workshop participants will have a unique opportunity to see the
centre, meet its members, and possibly start useful collaborations
for the future.
This year's workshop is co-organised by:
- Krzysztof R. Apt, CWI, The Netherlands
(k.r.apt@cwi.nl).
- Francois Fages, INRIA, France
(francois.fages@inria.fr)
- Eugene Freuder, University College Cork, Ireland
(e.freuder@4c.ucc.ie)
- Barry O'Sullivan, University College Cork, Ireland
(b.osullivan@cs.ucc.ie)
- Francesca Rossi, University of Padova, Italy
(frossi@math.unipd.it)
- Toby Walsh, University of York, UK.
(tw@cs.york.ac.uk)
[ Back to top ]
Scope
This workshop will cover all aspects of constraint and logic programming,
with particular emphasis on assessing the current state of the art and
identifying future directions.
[ Back to top ]
Call For Papers
[ Call for Papers in ASCII ]
We would like to invite authors to submit papers (preferably up to 15 pages
long in the Springer
Lecture Notes in Computer Science (LNCS) style
on research on constraint and logic programming, with particular emphasis on
assessing the current state of the art and identifying future directions.
Submissions may be of one of the following forms, labelled as such on the title
page:
- a position paper
- a work in progress paper
- a standard paper
- a demo description paper.
Proposals for panels are also encouraged.
The submission deadline is April 20, 2002.
Please send an electronic version of the paper, in the form of a
Postscript Level 2 or PDF file, to
b.osullivan@cs.ucc.ie using the subject line
ERCIM Workshop Submission.
Authors will be notified of acceptance/rejection by May 5th, 2002.
Camera-ready version is due May 20th, 2002.
Depending on the sufficient number of high quality submissions, the organisers
plan to publish selected papers in a special volume in an appropriate book
series or a special issue of a journal.
[ Back to top ]
Important Dates
The proposed schedule of important dates for the workshop is as follows:
Paper Submission deadline |
20th April 2002 |
Notification of acceptance |
5th May 2002 |
Workshop registration |
15th May 2002 |
Camera-ready version deadline |
20th May 2002 |
Workshop Dates |
19th-21st June 2002 |
[ Back to top ]
Registration and Scholarships
There is no registration fee. Particpants are asked to register for the
workshop before May 15th 2002 by sending a message to
Barry O'Sullivan.
The workshop is open to all and not restricted to
ERCIM or CologNet members.
Details on accomodation are available.
Also information on the location are also
available.
Some scholarships will be available to help students with travel expenses.
Students who need support should indicate this when submitting their papers.
[ Back to top ]
Workshop Schedule
The schedule for the workshop is below.
Two invited talks have been organised for the workshop:
|
Wednesday 19th June |
08:45
|
Registration + Coffee
|
09:15
|
Opening Remarks
[ front matter of the working notes ]
|
|
Session 1: Modelling and Solving CSPs
Chair: Barry O'Sullivan
|
09:30
|
Reduced Costs for Generating Promising Subproblems
M. Milano and W.J. van Hoeve
[ paper ]
|
10:00
|
CGRASS: A System for Transforming Constraint Satisfaction Problems
Alan M. Frisch, Ian Miguel and Toby Walsh
[ paper ]
|
10:30
|
A Note on Redundant Rules in Rule-based Constraint Programming
Sebastian Brand
[ paper ]
|
Coffee Break (11:00-11:30)
|
|
Session 2: Explanations and Constraint Solving
Chair: Barry O'Sullivan
|
11:30
|
Meta-Constraints to Aid Interaction and to Provide Explanations
Janet van der Linden
[ paper ]
|
12:00
|
Explanations and optimization in preference-based configurators
M. Moretti, F. Rossi, E. Freuder, C. Likitvivatanavong, R. Wallace
[ paper ]
|
12:30
|
Morning Panel
|
Lunch (13:00-14:30)
|
|
Session 3: Invited Talk
Chair: Toby Walsh
|
14:30
|
Invited Talk #1
Solve your problem faster by changing the model
Barbara Smith
[ abstract ]
[ slides (Powerpoint) ]
|
Coffee Break (15:45-16:00)
|
|
Session 4: Inference and Constraint Satisfaction
Chair: Eugene C. Freuder
|
16:00
|
Domain-Heuristics for Arc-Consistency Algorithms
Marc van Dongen
[ paper ]
|
16:30
|
Constraint Processing Offers Improved Expressiveness and
Inference for Interactive Expert Systems
James Bowen
[ paper ]
|
17:00
|
Evening Panel
|
Break
|
18:15
|
Reception at 4C & Demonstration Session
Food will be served until 19:30
|
|
Thursday 20th June |
|
Session 5: SAT and 0/1 Encodings of CSPs
Chair: Toby Walsh
|
09:30 |
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables
Patrick Prosser and Evgeny Selensky
[ paper ]
|
10:00 |
A Local Search Algorithm for Balanced Incomplete Block Designs
Steven Prestwich
[ paper ]
|
10:30 |
The Effect of Nogood Recording in MAC-CBJ SAT Algorithms
Ines Lynce and Joao Marques-Silva
[ paper ]
|
Coffee Break (11:00-11:30)
|
|
Session 6: Soft Constraints and Relaxations
Chair: Francesca Rossi
|
11:30
|
A Definition of Interchangeability for Soft CSPs
Stefano Bistarelli, Boi Faltings and Nicoleta Neagu
[ paper ]
|
12:00
|
Experimental Results in Constraint Relaxation
Walter Hower and Stephan Jacobi
[ paper ]
|
12:30
|
Morning Panel
|
Lunch (13:00-14:30)
|
|
Session 7: Invited Talk
Chair: Francesca Rossi
|
14:30
|
Invited Talk #2
Abstract Verification and Debugging of (C)LP Programs
Manuel Hermenegildo
[ abstract ]
|
Coffee Break (15:45-16:00)
|
|
Session 8: Applications
Chair: Francois Fages
|
16:00
|
Constraint-Based Matchmaking: A Personal (Interim) Perspective
Richard J. Wallace
[ paper ]
|
16:30
|
Visopt ShopFloor: On the edge of planning and scheduling
Roman Bartak
[ paper ]
|
17:00
|
Evening Panel
|
Break
|
19:30
|
Dinner at the Arbutus Lodge
Dinner will be served at 20:00
|
|
Friday 21st June |
|
Session 9: Distributed and Parallel Constraint Solving
Chair: Krzysztof Apt
|
09:30
|
POOC - A Platform for Object-Oriented Constraint Programming
Hans Schlenker and Georg Ringwelski
[ paper ]
|
10:00
|
A Coordination-Based Framework for Parallel Constraint Solving
Peter Zoeteweij
[ paper ]
|
10:30
|
Dynamic Distributed Constraint Satisfaction with Asynchronous Solvers
Georg Ringwelski and Hans Schlenker
[ paper ]
|
Coffee Break (11:00-11:30)
|
|
Session 10: Numerical Constraints
Chair: Barry O'Sullivan
|
11:30
|
Reasoning on the Properties of Numerical Constraints
Lucas Bordeaux, Eric Monfroy, Frederic Benhamou
[ paper ]
|
12:00
|
Comparing OR and CLP Approaches to 2D Angle Cutting and Packing Problems
Tomasz Szczygiel
[ paper ]
|
12:30
|
Morning Panel
|
|
Session 11: Wrap-up
Chair: Eugene C. Freuder
|
13:00
|
Wrap-up
|
Close
|
[ Back to top ]
|