ERCIM Working Group on Constraints /
CompulogNet Area on "Constraint programming"
June 19-21, 2000
This will be the 2000 annual workshop of the
(Esprit Network of Excellence on Computational Logic) area on "Constraint
Programming", coordinated by Francesca Rossi, and the fourth meeting
of the ERCIM
working group on "Constraints",
coordinated by Krzysztof R. Apt.
Program of the workshop.
- Submissions: April 15, 2000
- Notifications: May 1, 2000
Krzysztof R. Apt, CWI, Amsterdam, the Netherlands (K.R.Apt@cwi.nl)
Eric Monfroy, CWI, Amsterdam, the Netherlands (email@example.com)
Francesca Rossi, University of Padova, Italy (firstname.lastname@example.org)
This workshop will cover all aspects of constraints (solving and
propagation algorithms, programming languages, new formalisms, novel
techniques for modelling, experiments, ... ), with particular emphasis
on applications. The authors of theoretical papers are encouraged to
investigate and discuss a possible use of their work in practice.
We would like to invite authors to submit extended abstracts
(preferably maximum 6 pages long) on ongoing research on constraints,
with preference on Applications of Constraint Programming and
Constraint Technology. We also encourage submission of position
papers that would suggest possible new application areas.
The submission deadline is April 15.
Please send an electronic version of the abstract, in the form
of a postscript file, to the ERCIM working group secretary:
Eric Monfroy (email@example.com).
Authors will be notified of acceptance/rejection by May 1.
Besides the accepted papers, we plan to have three invited talks
on various application areas for constraints:
- Applications of Constraint Handling Rules,
Thom Fruhwirth, Munich Univ.;
- Applying Constraints to Interactive Graphical Applications,
Alan Borning, Univ. of Washington;
- Constraint databases for spatio-temporal applications,
Michel Scholl, INRIA.
We hope to obtain a couple of grants for students.
The interested students can ask Francesca Rossi (firstname.lastname@example.org)
for information on how to apply. The application
deadline is May 28.
The workshop will take place at the Department
of Pure and Applied Mathematics
the University of Padova (http://www.unipd.it/),
Via Belzoni 7, Padova, Italy.
Full call for papers.
Further information on the workshop program and the
accomodations in Padova will be posted soon.
Francesca Rossi (