Formal Methods Update meeting 2009: Announcement
The Formal Methods Update meeting 2009 will take place at IIT Roorkee
from July 13-15, 2009. Roorkee is reachable from Delhi by road in
4.5-5.5 hours. The meeting will start on the morning of July 13 and
end at lunch time on July 15, so that participants can plan to arrive
in Delhi on Sunday, July 12 and return back from Delhi at the end of
the day on Wednesday, July 15. More details about transport options
from Delhi to Roorkee are available under "Local Info".
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.
Rajdeep Niyogi, IIT Roorkee
Madhavan Mukund, CMI
Contact: rajdeepniyogi AT gmail.com, madhavan AT cmi.ac.in