Formal Methods Update Meeting 2016 The Formal Methods Update Meeting 2016 will take place in the the Government Enginering College (GEC), Idukki, Kerala during 21–22 July, 2016. This is an informal event where speakers volunteer to present the latest developments in an area related to their interest. The aim is that speakers will update the participants on the recent developments in an area, not restricted to their own contributions. The emphasis is usually on theory but presentations on the current state of the practice or recent tools in the area are also encouraged. If you are interested in participating, please register online via the "Register" link. If you would like to give a talk please email your title and abstract to update2016@gecidukki.ac.in. A limited amount of travel support is available. Those in need of support should email the organisers at update2016@gecidukki.ac.in at the earliest.
This meeting is sponsored by Goverment Engineering College, Idukki and TCS logo TCS Research