[FM-India] Formal Methods Update Meeting 2013, IIT Delhi, July 27-28
madhavan at cmi.ac.in
Mon Jun 10 18:08:52 IST 2013
Formal Methods Update Meeting 2013
Indian Institute of Technology Delhi
July 27–28, 2013.
The Formal Methods Update Meeting 2013 will take place at the Indian
Institute of Technology Delhi on July 27-28, 2013.
This is an informal event where speakers volunteer to present the
latest developments in an area related to their interest. If you are
interested in participating, please register online. As usual, there
is no registration fee but participants will normally be expected to
pay for their own accommodation and travel.
If you wish to make a presentation, please write to us with a brief
description (one para or so). Please note that the aim of the
presentation is to update the participants on the recent developments
in an area, preferably not restricted to one's 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.
Supratik Chakraborty, supratik at cse.iitb.ac.in
Madhavan Mukund, madhavan at cmi.ac.in
More information about the FMIndia