[FM-India] Formal Methods Update meeting 2008: announcement

[Prakash Chandrasekaran]

---------- Forwarded message ----------
From: R Venky <r.venky at tcs.com>
Date: Mon, Mar 24, 2008 at 12:14 PM
Subject: [Nyaya] 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.


=====-----=====-----=====
Notice: The information contained in this e-mail
message and/or attachments to it may contain
confidential or privileged information. If you are
not the intended recipient, any dissemination, use,
review, distribution, printing or copying of the
information contained in this e-mail message
and/or attachments to it are strictly prohibited. If
you have received this communication in error,
please notify us by reply e-mail or telephone and
immediately and permanently delete the message
and any attachments. Thank you