ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (8th 2006 Venice, Italy)