[FM-India] Formal Methods Update meeting

Deepak D'Souza deepakd at csa.iisc.ernet.in
Wed Jun 8 22:22:48 IST 2016

Dear colleagues,

the Formal Methods Update Meeting 2016 will be held on 21st and 22nd
July 2016, at the Government Engineering College (GEC) Idukki, Kerala.
Idukki is about 120 km east of Cochin/Ernakulam and travel time by road
from Cochin is about 3.5 hrs.

The FM Update Meeting is an informal event organized by the FM
community in India annually for the last decade or so, with the aim of
getting FM researchers together to present and discuss topical
developments in their areas of interest.

The registration link is open now at


Those interested in attending the meet are requested to register on
the registration site.

Accommodation is planned in the guest houses and hotels around GEC. If
you need accommodation please register your request as soon as
possible on the registration site.

If you would like to give a talk at the meeting please email your
title and abstract to update2016 at gecidukki.ac.in.

Sumesh Divakaran and Deepak D'Souza.
Email: update2016 at gecidukki.ac.in

This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

More information about the FMIndia mailing list