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.

Program Schedule

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
school-engineering-coimbatore-civil-research-sponsor-dst
school-engineering-coimbatore-civil-research-sponsor-dst
school-engineering-coimbatore-civil-research-sponsor-dst

Event Details
Date: 
2018-02-26 09:00 to 2018-02-28 17:00
ORGANIZED BY:
Department: 
Computer Science
School: 
School of Engineering
Campus: 
Amritapuri
207
PROGRAMS
OFFERED
6
AMRITA
CAMPUSES
15
CONSTITUENT
SCHOOLS
A
GRADE BY
NAAC, MHRD
8th
RANK(INDIA):
NIRF 2018
150+
INTERNATIONAL
PARTNERS