[FM-India] Formal Methods Update Meeting, DA-IICT, July 15-17 2010

[Madhavan Mukund]

The Formal Methods Update Meeting 2010 will be held at the
Dhirubai Ambani Institute for Information and Communication
Technology (DA-IICT) Gandhinagar from July 15 to 17, 2010.

The webpage for the workshop is up at
http://fmindia.cmi.ac.in/update2010 and will be updated
periodically the latest information about the workshop.

Registration is open --- please register online as soon as
possible so that the local organisers can plan accommodation
arrangements.  There is no registration fee.  Limited financial
support for travel and accommodation will be provided by IARCS.
If you need support, send me a mail with the details, but please
try to get support from your parent institution if possible.
Remember that the aim is to keep these meetings as informal and
low budget as possible.

Finally, if you want to propose a talk (or a topic that you would
like to see covered), write to Kamal Lodaya (kamal at imsc.res.in)
and me with details so that we can start finalising the
programme.

Regards,
Madhavan

--
Dr Madhavan Mukund
Secretary, Indian Association for Research in Computing Science (IARCS)
Professor, Chennai Mathematical Institute, Chennai, India

URL  : http://www.cmi.ac.in/~madhavan     Tel  : +91 44 2747 0226-0229
Email: madhavan at cmi.ac.in                        +91 44 3298 3441-3442
                                          Fax  : +91 44 2747 0225