The initiative is first of its kind to set up a common platform for the Academia, Research Organizations and the Industry on the specific subject. VECC is inviting national experts from Research Organizations, Industry and Academia to share their experiences and expertise. There will be no registration fee. The topics to be covered are Formal Modeling, Verification and Validation of large control Systems. The developments (both theoretical and applied areas) and deployments of tools in these areas have wide-ranging impacts both in control system design and their diagnostics. The Department of Atomic Energy is having activities almost all of which deal with large control systems in design, development and deployment phase.