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

From Thursday 07 December 2017
To Saturday 09 December 2017

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

Theme - Software is pervading literally every domain like consumer, automotive, aerospace, medical, and railways. The systems are also becoming highly complex and software intensive with features like reconfigurability. It is imperative that it be ensured that the software in these systems is very safe and secure. The aim of the workshop is to provide a forum wherein an awareness regarding the practical applicability of Formal Methods towards enhancing safety and security of safety critical systems in various industries will be created. In particular, the workshop will bring together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Please find the Document below

AFMSS 2017