Proceedings, 15th Annual IEEE Conference on Computational Complexity, July 4-7, 2000, Florence, Italy - IEEE Conference on Computational Complexity; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing; ACM Special Interest Group for Automata and Computability Theory; European Association for Theoretical Computer Science (IEEE Computer Society, 2000)