Title: 15th Annual IEEE Computational Complexity (CoCo 2000)