This volume presents the proceedings of a conference organized and run by the computer science research community in India, with the purpose of providing a forum for professional interaction between its members and their counterparts in different parts of the world. The volume includes invited papers on the reasoning of linear constraints using parametric queries, the parallel evaluation of classes of circuits, a theory of common sense visual reasoning, natural language processing, complexity theory and logic. The 26 submitted papers are organized into sections on logic, automata and formal...