Inauguration Ceremony (11:15 AM – 11:30 AM)

Lecture 1 (11:30 AM – 1:30 PM): Prof. Virendra Singh, IIT Bombay

• Cyber-physical Systems and Verification Challenges

Lecture 2 (4:00 PM – 6:00 PM): Dr. Parasara Sridhar Duggirala, University of North carolina at Chapel Hill, USA

• Simulation Based Verification of Cyber-physical Systems

Lecture 3 (10:30 AM – 12:30 PM): Prof. Parthsarathi Roop, University of Auckland, NZ

• Formal Methods for Safe and Secure Medical Devices Securing Pacemakers using RV and RE

Lecture 4 (4:00 PM – 6:00 PM): Dr. Parasara Sridhar Duggirala, University of North carolina at Chapel Hill, USA

• Simulation Based Verification of Cyber-physical Systems

Lecture 5 (10:00 AM – 12:00 PM): Prof. Sayan Mitra, University of Illinois at Urbana-Champaign, USA

• Verifying Autonomous Systems

Lecture 6 (4:30 PM – 6:30 PM): Prof. S. Ramesh, General Motors, USA

• Model-based Development of Cyber-physical Systems

Lecture 7 (10:30 AM – 12:30 PM): Prof. M. C. Govil, Director, NIT Sikkim

• Need of Formal Verification for Real-time Systems

Lecture 8 (4:30 PM – 6:30 PM): Prof. S. Ramesh, General Motors, USA

• Model-based Development of Cyber-physical Systems

Lecture 9 (11:00 AM – 1:00 PM): Prof. Virendra Singh, IIT Bombay

• Formal Methods Guided Design Methodologies for Cyber-physical Systems

Lecture 10 (2:00 PM – 4:00 PM): Prof. M. C. Govil, Director, NIT Sikkim

• Model-based Development of Cyber-physical Systems

Closing Ceremony (4:15 PM – 4:30 PM)