Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts - Symposium on Logic in Computer Science; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (IEEE Computer Society, 2001)