[FM-India] Request for Information

Manju Nanda manjun at nal.res.in
Thu Feb 18 10:56:19 IST 2016

Dear Sir,


CSIR-NAL and HTSL is planning to generate a database of organizations
(public, private, government) and institutes working in the field of Formal
Methods. The aim is to arrange Lecture Series  to educate and popularize
usage of formal methods in Industry. Lot of interest by Defense , Automotive
, and Aerospace is motivating us to have this lecture series.  Our Director
wants NAL to take a lead in this. 


For this purpose I request to provide me the Name/Organizations who are part
of  FMI. 



With Best Regards,

Manju Nanda 

Principal Scientist


More information about the FMIndia mailing list