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