Formal Methods Update Meeting 2014: Announcement
The Formal Methods Update Meeting 2014 will take place at the
Indian Institute of Technology, Kharagpur (IIT-KGP) from July 28-30, 2014.
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.
Supratik Chakraborty, supratik AT cse.iitb.ac.in
Pallab Dasgupta, pallab AT cse.iitkgp.ernet.in