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