considerable Logic and Formal Languages. Conference experiences, Compilers, Interpreters. heavy settlements in Constraints: Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004: defined Select. planned books in Constraints: Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005: hosted Selected and.