For more than a decade, Foundations of Software Technology
and Theoretical Computer Science Conferences have been
providing an annual forum for the presentation of new
research results in India and abroad. This year, 119 papers
from 20 countries were submitted. Each paper was reviewed by
at least three reviewers, and 33 papers were selected for
presentation and included in this volume, grouped into parts
on type theory, parallel algorithms, term rewriting, logic
and constraint logic programming, computational geometry and
complexity, software technology, concurrency, distributed
algorithms, and algorithms and learning theory. Also
included in the volume are the five invited papers presented
at theconference.