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.
THEME
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:
TOPICS
- Case Studies & Industrial Reports
- Methods, Tools & Techniques for Automated Analysis
- Certification aspects for Safety Critical Applications
- Formal Specification & Design of Software & Hardware
- Synthesizing code & generating tests from formal specifications
- Formal verification & debugging of Distributed RealTime Embedded Systems
CSIR-NAL, Amrita & Formal Methods
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
- User Story
- Education
- Industry Experience
- PhD Research
- Academia
- Tools
Registration Fees
Please add 18% GST to all fee. GST number: 29AAATC1710F1Z8
Symposium & Hands-On Registration
| 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) |
Symposium Registration
| 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
Payment Details
Cheque / Demand Draft in favour of *CSI-Bangalore Chapter
Incase 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
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
- Dr. Yogananda Jeppu, HTS
- Dr. Meenakshi D'souza, IIIT-B
- Dr. Bharat Jayraman, Buffalo University
- Dr. Kalyan 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
- Ms. J Jayanthi, Chief Scientist, CSIR-NAL
- Dr. M. Sethumadhavan, Professor, Amrita
- Dr. Devesh Bhatt, 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. Asha Garg, Project Director, DRDO-ADE
- Mr. G Venkata Reddy, Sc. G, DRDO-RCI
- Prof. Kristin Yvonne Rozier, Iowa State University
- Dr. Jayaraj Poroor, Professor, Amrita Vishwa Vidyapeetham
ORGANIZING COMMITTEE
PROGRAM CHAIRS
Manju Nanda,
Sr. Principal Scientist, ALD, CSIR - NAL.
Dr. Bhadrachalam Chitturi,
Associate Professor, Amrita Vishwa Vidyapeetham
EVENT CHAIRS
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
ORGANISING CHAIR
Dr. Jayaraj Poroor,
Professor, Amrita Vishwa Vidyapeetham
M. Sethumadhavan,
Professor, Amrita Vishwa Vidyapeetham
FINANCE CHAIR
Binu P. K.,
Assistant Professor, Amrita Vishwa Vidyapeetham
Directions to arrive at the campus from the North
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.
Directions to arrive at the campus from the South
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.
IMPORTANT DATES
- Paper submission : December 31, 2017
- Notification : January 15, 2018
- Camera ready copy : January 31, 2018
- Registration : January 31, 2018
|
|
