Formal Methods Update meeting 2011: Announcement Dear Colleague, The Formal Methods Update meeting 2011 will take place at VIT University, Vellore from July 12-14, 2011. The meeting will start midday on July 12 and end at lunch time on July 14, so that participants can plan to arrive in Vellore on Tuesday, July 12 and return back on Thursday, July 14. 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. Thanks, Kamal Lodaya, kamal AT Madhavan Mukund, madhavan AT