|
|
|
|
|
Constraint Solving and Constraint Logic Programming June
26-28, 2006 |
Recent Advances in Constraints
[Call for Papers] [Important Dates] [Registration and Scholarships] [Organization] [Invited Speakers] [Programme] [Accommodation] [Travel and Workshop Venue]
This workshop is organized as the 11th meeting of the ERCIM Working Group on Constraints, co-ordinated by Francois Fages.
The workshop will cover all aspects of constraint and logic programming, including various foundational issues, implementation techniques, new applications as well as teaching issues. Particular emphasis is on assessing the current state of the art and identifying future directions. We would like to invite authors to submit papers on all aspects of research on constraint and logic programming. Standard research papers, position papers and work-in-progress papers describing current projects are all welcome. To submit a paper to the workshop, please email a postscript or PDF file, preferably in Springer LNCS format to the workshop chairs at ercim06@di.fct.unl.pt. Papers can be of any length but should not exceed 15 pages. All submissions must be received by 10th May 2006.
A printed volume of the workshop papers will be given to the participants, free of charge. Note that the proceedings of the workshop are also available online here as a single pdf file. After the workshop, we decided to publish a subset of papers in a Springer Lecture Notes on Artificial Intelligence (LNAI) volume (Recent Advances in Constraints), as was done for previous editions of this workshop. In this case, these and other papers have to go through a new peer-review and selection process. This new Call for Papers is available here.
Paper submission deadline: 10th May 2006
Notification of authors: 16th May 2006
Camera ready version deadline: 7th June 2006
Registration deadline: 9th June 2006
Financial support applications: 2nd June 2006
Workshop dates: 26-28th June 2006
The workshop is open to all and is not restricted to ERCIM members. There is no registration fee. However, participants wishing to attend the workshop Banquet are kindly asked to contribute with 30 Euros to be paid on site.
Participants are kindly asked to register for the workshop before the registration deadline - 9th June 2006 - by sending a message to the workshop chairs at ercim06@di.fct.unl.pt. Participants are kindly asked to attach the following registration form in their registration email.
Some limited scholarships may also be available to help students with travel expenses. Students who need support should ask their primary advisor to send a reference letter to the workshop chairs at ercim06@di.fct.unl.pt before 2nd June.
To submit the camera-ready version, please send a PDF file, preferably in Springer LNCS format to the workshop chairs at ercim06@di.fct.unl.pt. Papers can be of any length but should not exceed 15 pages.
The organizers of the workshop are:
Francisco Azevedo: CENTRIA, FCT/UNL, Portugal
Pedro Barahona: CENTRIA, FCT/UNL, Portugal
Francois Fages: INRIA, France
Francesca Rossi: University of Padova, Italy
Nicolas Beldiceanu (École de Mines de Nantes): "Global Constraints"
Barry O'Sullivan (University College, Cork): "Constraints and Learning"
Ludwig Krippahl (New University of Lisbon): "Constraints
Applied to Bioinformatics"
| Monday, 26th | Tuesday, 27th | Wednesday, 28th | |
| 9 | Registration | ||
| Invited
Talk: Barry O'Sullivan Constraints and Learning |
Invited
Talk: Nicolas Beldiceanu Global Constraints |
Invited
Talk: Ludwig Krippahl Constraints Applied to Bioinformatics |
|
| 10 | |||
| Break | Break | Break | |
| 11 | Session 1 | Session 4 | Session 6 |
| 12 | |||
| Lunch | Lunch | Close | |
| 13 | |||
| Session 5 | |||
| 14 | Session 2 | ||
| 15 | Excursion | ||
| Break | |||
| 16 | Session 3 | ||
| 17 | |||
| 18 | |||
| 19 | |||
| 20 | Banquet | ||
| ... |
9:00 Registration opens
9:30 Invited Talk by Barry O'Sullivan: "Constraints and Learning"
10:30 Coffee / Tea Break
11:00 Papers Session 1
Learning Hard Constraints in Max-SAT by Josep Argelich and Felip Manyŕ
Extracting a Consistency Operator from a Constraint Satisfiability Function and Application to Partially Defined Constraints by Arnaud Lallouet and Andreď Legtchenko
Mini-bucket Elimination with Bucket Propagation by Emma Rollon and Javier Larrosa
12:30 Lunch
14:00 Papers Session 2
Limited Full Arc Consistency for Weighted CSP by Josef Zlomek, Roman Barták
Modelling and solving bipolar preference problems by Stefano Bistarelli, Maria Silva Pini, Francesca Rossi and K. Brent Venable
Approximate Compilation with Weighted BDDs by Olga Heling-Tveretina, Gregory Provan
15:30 Coffee / Tea Break
16:00 Papers Session 3
Optimizing the space to extend the tractability of (valued) structured CSP by Karim Boutaleb, Philippe Jégou, and Cyril Terrioux
An Attempt to Dynamically Break Symmetries in the Social Golfers Problem by Francisco Azevedo
General Symmetry Breaking Constraints by Toby Walsh
9:30 Invited Talk by Nicolas Beldiceanu: "Global Constraints"
10:30 Coffee / Tea Break
11:00 Papers Session 4
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems by Nina Narodytska and Toby Walsh
Determining the basis for performance variations in CSP heuristics by Richard J. Wallace
Overview of an Open Constraint Library by Marco Correia and Pedro Barahona
12:30 Lunch
13:30 Papers Session 5
Solving First-Order Constraints in the Theory of the Evaluated Trees by Thi-Bich-Hanh Dao and Khalil Djelloul
Tree-structured Constraint Satisfaction Problems Revisited by Igor Razgon, Barry O'Sullivan, and Gregory Provan
Reusing CSP propagators for QCSPs by Marco Benedetti, Arnaud Lallouet and Jérémie Vautard
15:00 Excursion
Costa Azul (region to the south of Tagus river, near the sea): includes Azeităo (visit to wines cellar), Cabo Espichel (Cape), Arrábida and Setúbal (visits to convents), and Sesimbra (by the sea)
20:00 Banquet in Sesimbra
9:30 Invited Talk by Ludwig Krippahl: "Constraints Applied to Bioinformatics"
10:30 Coffee / Tea Break
11:00 Papers Session 6
A Constraint Model for State Transitions in Disjunctive Resources by Roman Barták, Ondrej Cepek
Constraint Based Reasoning over Mutex Relations in Graphplan Algorithm by Pavel Surynek
Weak Stable Matchings with Tenants and Ties by Ana Paula Tomás
12:30 Close
Speakers should allow 5-10 minutes time for discussion.
Note that the following equipments will be available for presentations:
Overhead projector
Beamer
WinXP computer (with PowerPoint, Office XP) that can read CD, DVD, USB
15 rooms reserved for workshop; bookings should refer "CSCLP2006"
Prices (in euros, breakfast included):
room \ view mountain sea single 54.50 63.00 double 59.50 72.50
Hotel
Novotel Lisboa
15 rooms reserved for workshop; bookings should refer "CSCLP2006"
Price (single/double, breakfast included): 81 euros
Hotel
Ibis Lisboa
Price (single/double, breakfast included): 62 euros
The workshop will take place at the campus of FCT
/ UNL (Universidade Nova de Lisboa).
The address is Departamento de Informática,
Quinta da Torre, 2829-516 Caparica, PORTUGAL
The venue is about 10km south of Lisbon, in direction of Caparica beaches..
From Lisbon airport you may want to take a taxi to the hotel.
(see http://www.insidelisbon.com/EN/en_lisboa_transportes.htm#taxi
)
If you're staying in Lisbon you may have a bus to your hotel (check at the
airport).
To get from the hotel to the workshop, check this transportation link. Lisbon hotels (Novotel and Ibis) are in "Praça de Espanha", and "Hotel Costa da Caparica" is in Caparica.
campus map (in
pdf)
The workshop will take place in the seminars room (in front of the secretary) of
the Computer Science Department (DI:
"Departamento de Informática") at the northwest wing of Edifício II,
where a wireless internet connection is available.
ERCIM Working Group on Constraints