DCS-CP2000 Schedule

 
09.00 - 09.30 "Distributed Forward Checking" P.Meseguer,
M.A.Jiménez
Session Chair:
Boi Faltings
09.30 - 10.00 "Maintaining Hierarchical Distributed Consistency" M.C.Silaghi,
D.Sam-Haroud,
B.Faltings
10.00 - 10.30 Discussion about "Distributed Consistency for DCSPs" 
10.30 - 11.00 coffee break (available from the organizers)
11.00 - 11.30 "The Phase Transition in Distributed Constraint Satisfaction Problems: First Results K.Hirayama,
M.Yokoo,
K.Sycara
Session Chair:
Makoto Yokoo
11.30 - 12.00 "On Proving Properties of Concurrent Algorithms For Distributed CSPs" M.Hannebauer
12.00 - 12.30 Discussion about "Characterizing properties of DCSPs" 
12.30 - 14.00 Lunch break
14.00 - 14.30 "On Modeling Argumentation as Distributed Constraint Satisfaction: Initial Results" H.Jung,M.Tambe,
W.Zhang,
W.Shen
Session Chair:
Marius C. Silaghi
14.30 - 15.00 "Integrating a Distributed and Heterogeneous Organisation Using Constraint Programming" C.Eisenberg
15.00 - 15.30 "Air Traffic Control Approach using CSP Techniques" A.Idrissi,
E.H.Bouyakhf
15.30 - 16.00 coffee break (available from the organizers)
16.00 - 17.00 Discussion about "Applications of DCSPs"  Session Chair:
Christian Bessière