[FM-India] Request for Information

[Manju Nanda]

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