The Formal Methods Update Meeting 2015 will take place at the Indian Institute of Science (IISc), Bangalore, on the 16th and 17th of July 2015.
The venue is:
Room 117 (Ground Floor)
Department of Computer Science and Automation
Indian Institute of Science,
C V Raman Avenue
A limited amount of accommodation is available on campus which will be allotted on a first-come-first-served basis. If you need accommodation please indicate it on the registration page.