[FM-India] Formal Methods Workshop, NAL Bangalore, April 8

Madhavan Mukund madhavan at cmi.ac.in
Wed Mar 20 17:37:17 IST 2013

Previous message: [FM-India] Call for Papers: The 8th Workshop on E-Learning Security (ELS-2013)
Next message: [FM-India] Formal Methods Workshop, NAL Bangalore, April 8
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Attached is a brochure for a Formal Methods Workshop at NAL on Monday,
April 8.  For more details, please contact:

   Manju Nanda <manjun at nal.res.in>

--Madhavan

Previous message: [FM-India] Call for Papers: The 8th Workshop on E-Learning Security (ELS-2013)
Next message: [FM-India] Formal Methods Workshop, NAL Bangalore, April 8
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FMIndia mailing list