This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.  Meer

This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina.  Meer

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997. The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews.  Meer