[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