Formal Methods Update meeting 2010: Announcement
The Formal Methods Update meeting 2010 will take place at the Dhirubhai
Ambani Institute of Information and Communication Technology
(DA-IICT), Gandhinagar from July 15-17, 2010. The meeting will start
midday on July 15 and end at lunch time on July 17, so that
participants can plan to arrive in Gandhinagar on Thursday, July 15
and return back on Saturday, July 17.
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 via
the "Register" link.
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.
Kamal Lodaya, kamal AT imsc.res.in
Madhavan Mukund, madhavan AT cmi.ac.in