[FM-India] ISWT Course on Formal Methods at IIT Kharagpur

Madhavan Mukund madhavan at cmi.ac.in
Sat Apr 5 20:53:44 IST 2014

 Advanced Formal Techniques in Design, Verification and 
 Testing of Digital Integrated Circuits 
 Indian Institute of Technology Kharagpur 
 June 16-27, 2014
 A short course on Advanced Formal Techniques in Design Verification
 and Testing of Digital Integrated Circuits will be offered during
 June 16-27, 2014 under the International Summer / Winter Term of IIT
 Kharagpur. The course will be jointly offered by the following
 national and international faculty members , and is being offered to
 faculty, students, and industrial participants f rom all over the
 Prof Rolf Drechsler, Univ. of Bremen, Germany 
 Prof Supratik Chakraborty, IIT Bombay 
 Prof Indranil Sengupta, IIT Kharagpur 
 Prof Pallab Dasgupta, IIT Kharagpur 
 An outline of the course is available at

 For more details on the options for registering, please see the ISWT
 website: http://www.iitkgp.ac.in/iswt

More information about the FMIndia mailing list