The Formal Methods Update Meeting 2016 will take place at the Government Engineering College (GEC), Idukki, Kerala on the 21st and 22nd of July 2016.
Accommodation will be arranged in the GEC guest house, PWD guest house, and hotels nearby.
Idukki is about 120 km east of Cochin/Ernakulam and is about 3.5 hours by car from Cochin.
Here is a Map of GEC and surrounding areas.
Sumesh Divakaran, GEC Idukki (Chair)
Government Engineering College
Painavu, Idukki, Kerala 685603.