Conference on Mathematical Logic and Set Theory

Chennai (India), 15-17 August 2010

Satellite Conference of the ICM 2010 in Hyderabad (India)

Main page

Keynote speakers

Accepted papers


Programme Committee



Travel information


Call for Papers

Grants for Junior Researchers


In the successful tradition of logic satellite meetings at recent ICMs, we shall hold a satellite conference on mathematical logic and set theory in India to provide a specialized venue for logicians and set theorists connected with ICM 2010 in Hyderabad. The conference will be co-hosted by the Institute of Mathematical Sciences and the Chennai Mathematical Institute on behalf of the Association for Logic in India. The scope of the intended meeting is all of mathematical logic, including its areas of application (theoretical computer science, algebraic logic and others).

The meeting will be held in Chennai (formerly Madras), the capital city of the Indian state of Tamil Nadu. Chennai is located about 700 km south of Hyderabad, the location of the ICM. We have reserved the 18 August 2010 between our meeting and the ICM as a travel day. There are overnight train connections between Chennai and Hyderabad (about 12-13 hours) for 300-1900 rupees (between 4 and 28 €), depending on the class of travel. Seven different airlines (Indian Airlines, IndiGo, Jet Airways, Kingfisher Airlines, Paramount, Spice Jet, and Air India Express) offer direct flight connections to Hyderabad.

The month of August in Chennai is in the rainy season, so the weather is not as hot as in April and May and there is typically a cool sea breeze from the late afternoon. The conference venue and the guest rooms are properly air-conditioned. More about the weather in Chennai.

We acknowledge the support of our sponsors: the International Congress of Mathematicians 2010, the Institute for Mathematical Sciences, Chennai, the network INFTY: New frontiers of infinity: mathematical, philosophical, and computational prospects, the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG), and the Association for Symbolic Logic (ASL).

Organizers: Benedikt Löwe (Amsterdam), R. Ramanujam (Chennai).
Contact e-mail: jam (at)