Formal Methods Update meeting 2008: Announcement Dear Colleague, The Formal Methods Update meeting 2008 will take place in TRDDC Pune, from Jul 17-19. As you are aware this is an informal event and people normally volunteer to present the latest developments in an area related to their interest. This year we hope to cover the following three themes - 1) Combining verification and program analysis 2) Current problems in compilers with a focus on multi core 3) Logic and Games If you wish to present on any related topic 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. This is an initial announcement requesting you to mark your calendar and also volunteer to present. Further announcements like websites etc. will be made later. Please let others in your institute, who may be interested in this event, know about it. If possible, send us e- mail ids of such persons whom we should include in future mails on this topic. Thanks, Venky and Shrawan TRDDC, Pune. Contact: r[dot]venky[at]tcs[dot]com, shrawan[dot]kumar[at]tcs[dot]com