[FM-India] FM Update Meeting 2015

Deepak D'Souza deepakd at csa.iisc.ernet.in
Sat Jun 27 12:09:15 IST 2015

The Formal Methods Update Meeting 2015 will be held on 16th and 17th
July 2015, at the Department of Computer Science and Automation (CSA)
at IISc Bangalore.

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.

A limited number of guest house rooms are available on campus, which
will be allotted on a first-come-first-served basis. So 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 fm-update-2015 at csa.iisc.ernet.in.

Deepak D'Souza.

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