[FM-India] Formal Methods Update Meeting 2014, IIT, Kharagpur, July 28-30

[Madhavan Mukund]

		  Formal Methods Update Meeting 2014
	      Indian Institute of Technology, Kharagpur
			   July 28–30, 2014
		 http://fmindia.cmi.ac.in/update2014/

Dear Colleague,

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 at the workshop website,b listed above.

Thanks,
Supratik Chakraborty, supratik at cse.iitb.ac.in
Pallab Dasgupta, pallab at cse.iitkgp.ernet.in