Overview: For more than a decade, Foundations of Software Technologyand TheoreticalComputer Science Conferences have beenproviding an annual forum for thepresentation of newresearch results in India and abroad. This year, 119papersfrom 20 countries were submitted. Each paper was reviewed byatleast three reviewers, and 33 papers were selected forpresentation and included in this volume, grouped into partson type theory, parallelalgorithms, term rewriting, logicand constraint logic programming, computational geometry andcomplexity, software technology, concurrency,distributedalgorithms, and algo
|