Constraint Satisfaction and Programming, 19 March