[FM-India] National Workshop / Conference on Formal Methods - NCFM
Madhavan Mukund
madhavan at cmi.ac.in
Fri Sep 26 22:32:08 IST 2014
National Workshop / Conference on Formal Methods - NCFM
October 15-17, 2014, MRC Auditorium, IISc, Bangalore
Organized by
Computer Society of India, Special Interest Group – Formal Methods (SIG-FM),
and
Computer Society of India - Bangalore Chapter (CSI-BC)
For details, please visit
http://www.csibc.org/index.php/about-csi/national-workshop-conference-on-formal-methods-ncfm
--
Madhavan Mukund
President, Indian Association for Research in Computing Science (IARCS)
Professor, Chennai Mathematical Institute, Chennai, India
URL : http://www.cmi.ac.in/~madhavan Office: +91 44 6748 0923
Email: president at iarcs.org.in Mobile: +91 9444 992 990
More information about the FMIndia
mailing list