[FM-India] Two Days Workshop on Formal Methods for Safe and Secure Medical Devices (10 th -11th January 2020)

[Srinivas Pinisetty]

Dear Colleague

[Apologies if you receive multiple copies of this message]


We are pleased to inform you that Indian Institute of Technology
Bhubaneswar is organizing Two days Workshop on
*Formal Methods for Safe and Secure Medical Devices* on *10 th -11 th
January 2020.  *

During the workshop, eminent speakers from The University of Auckland and
IIT Jammu will deliver talks on formal methods based approaches used in the
domain of medical devices.

Programme content and registration details are available here:
https://www.iitbbs.ac.in/notice/event_1576133238.pdf


Each successful participant will receive a participation certificate.


Many thanks
Best Regards
Dr. Srinivas Pinisetty
Assistant Professor
School of Electrical Sciences
Indian Institute of Technology Bhubaneswar
Odisha 752050, India