[FM-India] Formal Methods Update meeting 2012

[Madhavan Mukund]

The preliminary announcement is up at
http://fmindia.cmi.ac.in/update2012/.  Please register yourself and
send in details if you would like to give a talk.

--Madhavan

 > From: Madhavan Mukund <madhavan at cmi.ac.in>
 > To: fmindia at cmi.ac.in
 > Date: Thu, 14 Jun 2012 10:35:04 +0530
 > Subject: Formal Methods Update meeting 2012
 > 
 > The Formal Methods Update meeting 2012 will be held at CMI
 > during July 19-21.  More details soon.
 > 
 > --
 > Dr Madhavan Mukund
 > Professor and Dean of Studies
 > 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