This book constitutes the refereed proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2002, held in Kanpur, India in December 2002. The 26 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 108 submissions. A broad variety of topics from the theory of computing are addressed, from algorithmics and discrete mathematics as well as from logics and programming theory.
Keywords: Algorithms, Computing Theory, Theoretical Computer Science, Programming Theory, Formal Methods, Mathematical Logic, Computer Science Logic, Program Semantics, Approximation, Optimization, Programming Calculi, Automata Theory