The Department of Computer 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.
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 the practical application of formal methods.
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 including:
Software Engineering Group, Aerospace Electronics & Systems Division at CSIR National Aerospace Laboratories (NAL) has done pioneering work in formal methods. CSIR NAL collaborates with Honeywell Technology Solutions (HTS) and Robert Bosch India Pvt Ltd (RBEI). Department of Computer Science & Engineering, Amrita Vishwa Vidyapeetham, Amritapuri has a strong and growing group of researchers doing cutting-edge research in formal methods and its applications.
Sessions
Please add 18% GST to all fee. GST number: 29AAATC1710F1Z8
Indian Delegates | Overseas Delegates | |
---|---|---|
Industry/ Corporate | 15,000/- (INR) | $ 250/- (USD) |
R&D Labs/Academia Labs | 8,000/- (INR) | $ 150/- (USD) |
Students | 2,500/- (INR) | $5o/- (USD) |
Indian Delegates | Overseas Delegates | |
---|---|---|
Industry/ Corporate | 9,500/- (INR) | $ 150/- (USD) |
R&D Labs/Academia Labs | 5,000/- (INR) | $ 50/- (USD) |
Students | 2,000/- (INR) | $ 35/- (USD) |
Accommodation and Food is free for all Registrants
Cheque / Demand Draft in favour of *CSI-Bangalore Chapter
Incase of Online Transaction:
For Registration details please contact
Mr. Sridhar,
Manager (Cell No: 9448905268)
Computer Society of India
201, MBC, #134, Infantry Road,
Bangalore - 560001, INDIA
+91-80-2286 0461, 4090 6171,
+91-80-2286 2215
For paper submissions/ participation:
Dr. Manju Nanda,
Senior Principal Scientist,
CSIR- National Aerospace Laboratories,
Aerospace Electronics & Systems Division (ALD)
Bangalore - 560001, INDIA
+91-80-25086523
Manju Nanda,
Sr. Principal Scientist, ALD, CSIR - NAL.
Dr. Bhadrachalam Chitturi,
Associate Professor, Amrita Vishwa Vidyapeetham
Bhanumathi K. S.,
Convener, SIG-FM, CSI-India.
Sateesh S Kannegala,
Chairman, CSI-BC.
Dr. Jyothisha Nair,
Associate Professor, Amrita Vishwa Vidyapeetham
Dr. Swaminathan J,
Assistant Professor, Amrita Vishwa Vidyapeetham
Ani R.,
Assistant Professor, Amrita Vishwa Vidyapeetham
Dr. Jayaraj Poroor,
Professor, Amrita Vishwa Vidyapeetham
M. Sethumadhavan,
Professor, Amrita Vishwa Vidyapeetham
Binu P. K.,
Assistant Professor, Amrita Vishwa Vidyapeetham
By Air and Taxi: Cochin (Kochi) International Airport at Nedumbassery is situated 140 kilometers north of the campus. One can ask for a pre-paid taxi to Amrita Vishwa Vidyapeetham, Amritapuri. The taxi-ride costs about Rs. 3,500 and takes about three hours.
By Train: Kayamkulam is the closest train station situated 12 kilometers north of the campus. After disembarking, one can hire an autorickshaw to come to the campus. The ride costs about Indian Rs. 280 and takes about 20 minutes. Buses are also available from Kayamkulam Bus-Stand to Vallikavu Junction, which is about a five-minute walk from the campus.
By Bus: From the Ernakulam Transport Bus-Stand, one may board a bus going towards Trivandrum via Alappuzha, and alight at Ochira. From Ochira, an autorickshaw can be taken to bring one directly to Amritapuri, which is 6 km away from Ochira, at a cost of about Rs. 100 or one may board a bus going to Vallikavu Junction, which is about a five-minute walk from the campus.
By Air and Taxi: The closest airport is Trivandrum (Thiruvananthapuram), located 110 kilometers south of Amritapuri. One can ask for a pre-paid taxi to Amrita Vishwa Vidyapeetham, Amritapuri. The taxi-ride costs about Rs. 2,800 and takes about three hours.
By Train: Kayamkulam is the closest train station situated 12 kilometers north of the campus. After disembarking, one can hire an autorickshaw to come to the campus. The ride costs about Indian Rs. 280 and takes about 20 minutes. Buses are also available from Kayamkulam Bus-Stand to Vallikavu Junction, which is about a five-minute walk from the campus.
By Bus: From the Trivandrum Transport Bus-Stand, one may board a bus going towards Ernakulam via Kollam and alight at Karunagappally. From Karunagappally, a bus going to Vallikavu Junction can be taken, which is about a five-minute walk from the campus.
|