FLOPS 2002: 6th Int'l Symposium on Functional and Logic Programming