Events Calendar

Previous month Previous day Next day Next month
See by year See by month See by week See Today Search Jump to month

Application of Formal Methods for safety and Security of Critical Systems

 
Monday 26 February 2018    

2nd Symposium on Application of Formal Methods for Safety & Security of Critical Systems

Obtaining high assurance on safety and security of computing systems is critical in today's world that is increasingly becoming dependent on such systems for critical functions. The aim of this workshop is to bring together scientists and engineers working in the theory and application of formal methods for safety-critical systems. The workshop also provides a forum to generate awareness regarding practical application of formal methods

Objectives

Papers will be published in Springer LNCS series. Original and High-Quality contributions are solicited from Industry, R&D and Academia on a broad range of topics listed including:

Topics
  • Case Studies & Industrial Reports
  • Methods, Tools & Techniques for Automated Analysis
  • Certification aspects for Safety Critical Applications
  • Formal Specification and Design of sotware and hardware
  • Software Design using Formal Methods
  • Synthesizing code and generating tests from formal specifications
  • Formal Verification and debugging of distributed real time embedded systems

For paper submissions / participation:
Dr. MANJU NANDA,
Senior Principal Scientist,
CSIR– National Aerospace Laboratories,
Aerospace Electronics & Systems Division (ALD)
BANGALORE - 560017. INDIA. Ph. No. +91-80-25086523
Email : This email address is being protected from spambots. You need JavaScript enabled to view it.

ABOUT CSIR-NAL & FM

Software Engineering Group, Aerospace Electronics & Systems Division, at CSIR National Aerospace Labo- ratories has rich pioneering Research and Development experience in Formal Methods. We are proud of the fact that CSIR National Aerospace Laboratories was the first to start using the Formal Methods for SARAS project. There are dedicated Scientists and Research personnel working on live projects using For- mal Methods. CSIR National Aerospace Laboratories have a tie-up with Honeywell Technology Solutions (HTS) and Robert Bosch India Pvt Ltd (RBEI).

REGISTRATION FEES

Symposium & Hands-On Registration

  • Industry / Corporate Indian Delegates - Rs 15,000/- (INR), Overseas Delegates - $ 250/- (USD)
  • R&D Labs/Academia Labs Indian Delegates - Rs 8,000/- (INR), Overseas Delegates - $ 150/- (USD)
  • Students - Rs 2,500/- (INR), Overseas Delegates - $ 50/- (USD)

Symposium Registration

  • Industry / Corporate Indian Delegates - Rs 9,500/- (INR), Overseas Delegates - $ 150/- (USD)
  • R&D Labs/Academia Labs Indian Delegates - Rs 5,000/- (INR), Overseas Delegates - $ 50/- (USD)
  • Students - Rs 2,000/- (INR), Overseas Delegates - $ 35/- (USD)

Payment Details
Cheque / Demand Draft in favour of
“CSI-Bangalore Chapter
Inca”se of Online Transaction:
Bank : State Bank Of India
Branch : Andheri (East), Mumbai
MIDC Ind. Area
IFSC : SBIN0007074
Account # 33762189110
A/c Name : CSI-Bangalore Chapter
Branch Code : 07074
SWIFT Code : SBININBB363
Digital MICR No : 400002057

Advisors

Dr. Yogananda Jeppu, HTS

Dr. Meenakshi D’souza, IIIT-B

Dr. Bharat Jayraman, Buffalo University

Dr. Kalyani Krishnamani, nvidia, USA

Mr. Omprakash Kumar, RBEI

Mr. Jitendra J Jadhav, Director, CSIR - NAL

Dr. Girish S Deodhare, OS, PGD(CA), Director ADA

Ms. Anu Khosla, Director, DRDO-SAG

Dr. Devesh Bhat, Honeywell

Dr. Anita Murugesan, Honeywell

Dr. Pavithra, Kansas State University

Mr. Gautam Mahapatra, Sc. G, DRDO-RCI & VP, CSI

Ms. Sheena Rani, Sc. G, DRDO-ASL

Dr. Kala, Project Director, DRDO-ADE

Mr. G Venkata Reddy, Sc. G, DRDO-RCI

Prof. Kristin Yvonne Rozier, Iowa State



Organising Committee:

Program Chair : Manju Nanda, Sr. Principal Scientist, ALD, CSIR - NAL.

Events Chairs : Bhanumathi K S, Convener, SIG-FM, CSI-India. & Sateesh S Kannegala, Chairman, CSI-BC.

Organising Chair : J Jayanthi, Chief Scientist, ALD, CSIR - NAL.

Finance Chair : Shamsundar Dhage, Sr. Technical Officer, ALD, CSIR - NAL.

 

Please find the Document below

AFMSS 2017 

Location Amrita School of Engineering,Amrita Vishwa Vidyapeetham,Amritapuri

Back