Local Info


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.

Local Organizing Committee

Sumesh Divakaran, GEC Idukki (Chair)

Contact Details

Email: update2016@gecidukki.ac.in

Government Engineering College
Painavu, Idukki, Kerala 685603.

Phone: 04862-233250/232477