HOME |
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
http://kti.mff.cuni.cz/~bartak/ERCIM2001/
Important dates:
Organisers:
with support from ERCIM and ITI (Czech Institute for Theoretical Computer Science).
Topics:
This workshop will cover all aspects of constraint processing (solving and propagation algorithms, programming languages, new formalisms, novel techniques for modelling, experiments, ... ), with particular emphasis on filtering and labelling algorithms and modelling real-life problems.
Submissions:
We would like to invite authors to submit papers (preferably up to 10 pages long in the Springer LNCS style, see http://www.springer.de/comp/lncs/authors.html) on ongoing research on constraints, with preference on filtering and labelling algorithms and modelling real-life problems.
The submission deadline is April 8, 2001. Please send an electronic version of the paper, in the form of a PostScript Level 2 or PDF file, to Eric Monfroy (eric.monfroy@irin.univ-nantes.fr).
Authors will be notified of acceptance/rejection by May 1, 2001.
Camera-ready version is due May 13, 2001.
Program:
Besides the accepted papers, there will be two invited talks:
- Integrating Operation Research Techniques in Constraint Programming by M. Milano (Bologna University)
- Large Scale Constraint Applications by H. Simonis (Parc Technologies)
There will be a social dinner (free of charge).
Location and Registration:
The workshop will take place in Institute for Theoretical Computer Science, Malostranske namesti 2/25, Prague, Czech Republic. There is no registration fee. Please announce your participation by sending an e-mail to Roman Bartak (bartak@kti.mff.cuni.cz) by June 1, 2001.
© 2001 Roman Barták |