Rohit Parikh

The "First Indian Conference on Logic and its Relationship with Other Disciplines" took place in Mumbai at IIT Bombay, from January 8 to 12, 2005. Tutorials as well as advanced talks were given by Indian logicians and by visitors from Australia, the Czech Republic, Finland, Great Britain, Italy, Israel, Japan, the Netherlands, the USA, and other nations. Talks ranged from reflections on the range of mathematical proof and definability; to recent developments in computational logic; to new interfaces between logic, information dynamics, and games; to presentations on schools of Indian logic. One term used nowadays for this broad view of logic is "intelligent interaction." The Mumbai Conference took this term in the double sense of both information exchange and community formation, and indeed both processes were in evidence. The current volume contains a representative selection of material from that conference.