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.
Thursday, July 19–Friday, July 20: Formal Methods Update Meeting 2012 at CMI
In addition to the regular shuttle between IMSc and CMI, there will be a special shuttle for FMU 2012 leaving IMSc at 08:00 on July 19–20. This shuttle will also pick up students from the IMSc off-campus hostel in Thoraipakkam. At the end of the day, there will a similar additional shuttle back to IMSc from CMI, leaving CMI at 17:00.
Saturday, July 21: Golden Jubilee Thematic Lectures at IMSc.
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.