ERCIM Working Group on Constraints /

CompulogNet Area on "Constraint programming"

WORKSHOP


Padova, Italy

June 19-21, 2000

www.math.unipd.it/~frossi/padova.html


This will be the 2000 annual workshop of the CompulogNet (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.


new Program of the workshop. new


new About Padova: new
Important dates:


Organizers:
Krzysztof R. Apt, CWI, Amsterdam, the Netherlands (K.R.Apt@cwi.nl)
Eric Monfroy, CWI, Amsterdam, the Netherlands (eric@cwi.nl)
Francesca Rossi, University of Padova, Italy (frossi@math.unipd.it)


Topics:
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.


Submissions:
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 (eric@cwi.nl).

Authors will be notified of acceptance/rejection by May 1.


Program:
Besides the accepted papers, we plan to have three invited talks on various application areas for constraints:


Student Grants:
We hope to obtain a couple of grants for students. The interested students can ask Francesca Rossi (frossi@math.unipd.it) for information on how to apply. The application deadline is May 28.


Location:
The workshop will take place at the Department of Pure and Applied Mathematics (http://www.math.unipd.it/) of 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 ( frossi@math.unipd.it)