[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
CSIR-NAL
More information about the FMIndia
mailing list