[FM-India] GIAN course on Verification of Cyber Physical Systems

[Madhavan Mukund]

----- Forwarded message -----

Date: Mon, 27 Nov 2017 03:18:40 +0000
From: Deepak D'Souza <deepakd at iisc.ac.in>
To: Fmindia <fmindia at cmi.ac.in>
Subject: GIAN course on Verification of Cyber Physical Systems

GIAN course on Verification of Cyber Physical Systems
=====================================================

8-12 January 2018, at IISc, Bangalore

We are organizing a five-day MHRD sponsored GIAN (Global Initiative of
Academic Networks) course on Formal Verification of Cyber-Physical
Systems from January 8-12 at the Indian Institute of Science,
Bangalore. The main lecturer for the course is Prof. Pavithra
Prabhakar, Peggy and Gary Edwards Chair in Engineering at the Kansas
State University.

The course will provide an introduction to the state-of-the-art
analysis techniques for cyber-physical systems based on hybrid systems
theory. This course will be useful for engineers and research
scientists, undergraduate and graduate students, research scholars and
faculty members interested in cyber-physical system design and
analysis in the areas of automotive, aerospace and robotics including
autonomous vehicles.

Detailed information about the course is available at
www.csa.iisc.ac.in/~deepakd/GIAN-CPSV. The last
date for registration for the course is 15 December 2017.

Please encourage your students, research scholars, postdocs, and
colleagues, to participate in this course and forward this mail to
anyone who may be interested.

With best wishes,

Deepak D'Souza and Pavithra Prabhakar.

----- End forwarded message -----