A workshop on Formal Methods for Safe and Secure Medical devices was organized at School of Electrical Sciences, IIT Bhubaneswar from 10th -11th January 2020. The same has been sponsored under the Scheme for Promotion of Academic and Research Collaboration (SPARC), Govt. of India. The workshop covers about the formal methods based approaches used in the domain of medical devices. The workshop was inaugurated by Prof. Swarup Kumar Mahapatra, Dean Continuing Education, IIT Bhubaneswar. Prof. N.C. Sahoo, Head School of Electrical Sciences, IIT Bhubaneswar presided over the function. Also present on the occasion were Prof. Partha Roop, The University of Auckland, New Zealand, Dr. Mark Trew, The University of Auckland, New Zealand along with Col ( Dr.) Subodh Kumar, Registrar, IIT Bhubaneswar.

The event started with welcome address by Dr. Srinivas Pinisetty, Assistant Professor, IIT Bhubaneswar. The theme note of the workshop was presented by Prof. Partha Roop and Dr. Mark Trew. This was followed by an address by Prof. Swarup Kumar Mahapatra, Dean Continuing Education, IIT Bhubaneswar. Prof. N.C Sahoo, Head of School of Electrical Science greeted the audience and welcomed everyone.