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

[Madhavan Mukund]

 ============================================== 
 Advanced Formal Techniques in Design, Verification and 
 Testing of Digital Integrated Circuits 
 INTERNATIONAL SUMMER/WINTER TERM 
 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
 world.
 
 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
 https://www.dropbox.com/s/333syuo32hpulop/ISWT2014-%20Advanced%20Formal%20Techniques.pdf

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