[FM-India] Formal Methods Update Meeting 2017

[Madhavan Mukund]

Dear Colleagues,

The Formal Methods Update Meeting 2017 will take place in IIT Mandi during 17–18 July, 2017.

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

The emphasis is usually on theory but presentations on the current state of the practice or recent tools in the area are also encouraged.

The registration link is open now at http://fmindia.cmi.ac.in/update2017/.

Everybody interested in the use of Formal Methods in Program Design & Verification and Theoretical Computer Science is welcome to join.

--
Astrid Kiehn, IIT Mandi, Organizing Chair
<astrid at iiitd.ac.in>