Local Info


The Formal Methods Update Meeting 2012 is being held in conjunction with the Golden Jubilee Thematic Lectures in Theoretical Computer Science for July at IMSc.

The overall schedule is as follows.


Those who have requested accommodation will be housed at the CMI Guest House/Hostel. Please contact the security staff when you arrive at CMI to find out where you are staying.

There will be transport from CMI to IMSc on July 21 for the Golden Jubilee Thematic Lectures.

Local Organizing Committee

Contact Details

Madhavan Mukund
Chennai Mathematical Institute
H1, SIPCOT IT Park, Kelambakkam
Siruseri 603 103, TN

Email: madhavan@cmi.ac.in