[FM-India] Formal Methods Update meeting 2012
Madhavan Mukund
madhavan at cmi.ac.in
Thu Jun 14 15:00:44 IST 2012
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
More information about the FMIndia
mailing list