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

[Madhavan Mukund]

Just a reminder to register yourself as soon as possible at
http://fmindia.cmi.ac.in/update2010 so that the local organizers
can plan and book accommodation for all of us.  There is no
registration fee and some support is available from IARCS for
travel and accommodation.

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


 > From: Madhavan Mukund <madhavan at cmi.ac.in>
 > To: fmindia at cmi.ac.in
 > Date: Thu, 10 Jun 2010 11:30:30 +0530
 > Subject: Formal Methods Update Meeting, DA-IICT, July 15-17 2010
 > 
 > 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