HOME

Call for papers | Papers | Program | Local information

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/


This will be the sixth meeting of the ERCIM Working Group on Constraints co-ordinated by Krzysztof R. Apt. The workshop is open for all researchers.

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:

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

Call for papers | Papers | Program | Local information