Proceedings : the 43rd Annual IEEE Symposium on Foundations of Computer Science : Vancouver, BC, Canada 16-19 November 2002 - Symposium on Foundations of Computer Science; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing; ACM Special Interest Group for Automata and Computability Theory (IEEE Computer Society, 2002)