It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Click here to download the PDF file.

The Department of Compuer Science and  Engineering, Amrita School of Engineering, Amritapuri campus, will host the 2nd Symposium on Application of Formal Methods for Safety & Security of Critical Systems - AFMSS 2018, from February 26-28, 2018. The brochure covers event details such as theme, objectives, about, registration details, advisors, organizing committe abd contact details.