CP 2000 Post-Conference Workshop on

MODELLING AND SOLVING SOFT CONSTRAINTS

September 22, 2000

Singapore

www.math.unipd.it/~frossi/cp2000-soft/

PRELIMINARY PROGRAM



9:00-9:15 Opening notes
9:15-10:00 Invited Talk: Valued CSPs,
Thomas Schiex, INRA Toulouse
10:00-10:30 Flexibility as relaxation -- The Fuzzy set View,
J. M. Pires, H. Prade

10:30-11:00 Coffee break

11:00-11:30 Tree-based Russian Doll Search: Preminary Results,
P. Meseguer, M. Sanchez
11:30-12:00 On the dual representation of non-binary semiring-based CSPs,
J. Larrosa, R. Dechter
12:00-12:30 Higher-Order Semiring-based Constraints,
S. Bistarelli, U. Montanari, F. Rossi

12:30-14:00 Lunch

14:00-14:45 Invited Talk: On finding graphically plausible solutions to constraint hierarchies: the split stay problem,
Alan Borning, Univ. of Washington
14:45-15:15 SCSPs for modelling attacks to security protocols,
G. Bella, S. Bistarelli
15:30-16:00 Coffee break

Francesca Rossi ( frossi@math.unipd.it)