National Workshop / Conference on Formal Methods - NCFM

COMPUTER SOCIETY OF INDIA

Special Interest Group – Formal Methods (SIG-FM),

and

Computer Society of India - Bangalore Chapter (CSI-BC)

presents

National Workshop/Conference on Formal Methods-NCFM

October 15th – 17th, 2014 at MRC Auditorium, IISc, Bengaluru

Theme


Over the years systems have become more and more complex by design and functionality. Some of the unique features of these systems are:

  1. Large-scale system of systems
  2. Tight coupling (coordination) between computational and physical resources

Exceeds today's systems in adaptability, autonomy, efficiency, functionality, reliability, safety, and usability.

With the advancement in the technologies, safety and security are key issues and there is a need to use effective, correct and reliable approaches to design, develop and qualify this complex, high assurance system software's within the time-schedule and budget. Formal methods are proving effective in this. Hence there is need to bring together scientists, academicians & industrialists active in the field of formal methods and willing to exchange their experience in the industrial usage of formal methods.

History


National workshop-cum-Conference on Formal Methods-NCFM, being the first of its kind intends to bring together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMSE (Formal Methods Software Engineering) strives to promote research and development for the improvement of formal methods and tools for industrial applications. This is an initiative from the Special interest Group-SIG on Formal Methods.


Objectives


Contributions are invited from academia, industry and R&D organizations working in the field of formal methods. The topics of interest include, but are not restricted to:


  1. Integrating formal methods in software engineering process
  2. Role of formal methods in design & development of embedded systems
  3. Formal verification & validation
  4. Theoretical advances and empirical evaluations of formal methods
  5. Formal approaches to fault tolerance
  6. Code generation from formally verified models
  7. Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and distributed techniques
  8. Safety cases using formal methods
  9. Integrated formal workbench
  10. Application of formal methods in safety critical applications

Find out what Tutorials and Case Studies we will be having, from 15-17 October 2014 by checking our "Speaker Feature".


Conference Registration


Registration fee covers conference kit, coffee / tea, working lunch.


For brief Course content Details click on Click Here option

    

Session

  1. Integration of formal methods in software engineering process (Requirements, Design, Implementation, Compiler Verification & Validation)
  2. Role of Formal methods in Model based development
  3. Application of formal methods in embedded systems (Aerospace, Space, Automation, Medical, Communication, Nuclear)
  4. New research initiative in FM
  5. Future of FM in Indian Scenario
  6. FM’s and industry standards
  7. FM’s in V&V strategies
  8. Role of academia in developing skill set for FM

 
       

Conference Schedule

  1. Conference Schedule for Day 1 - 15-oct-2014
  2. Conference Schedule for Day 2 - 16-oct-2014
  3. Conference Schedule for Day 3 - 17-oct-2014
   

Registration fees


Conference Registration


  1. Members of CSI, IEEE - Industry, Corporate, R&D Labs Rs. 2,000.00
  2. Non Members - Industry, Corporate, R&D Labs Rs. 3,750.00
  3. Member of CSI, IEEE - Student Rs. 1,200.00
  4. Non Member of CSI, IEEE - Student Rs. 1,700.00
  5. Cheque to be drawn in favour of "CSI Bangalore Chapter"
  6. Registration fee includes Lunch, Tea, and Certificate.

Tutorial Registration


  1. Members of CSI, IEEE - Industry, Corporate, R&D Labs Rs. 3,500.00
  2. Non Members - Industry, Corporate, R&D Labs Rs. 4,500.00
  3. Member of CSI, IEEE - Student Rs. 2,000.00
  4. Non Member of CSI, IEEE - Student Rs. 2,500.00
  5. Cheque to be drawn in favour of "CSI Bangalore Chapter"
  6. Registration fee includes Lunch, Tea, and Certificate.

Event Chair


Prof. Shyam Sundar,
Tata Institute of Fundamental Research, Mumbai.
Email This email address is being protected from spambots. You need JavaScript enabled to view it.


Payment Details


  1. Cheques / DD in favour of : “ CSI Bangalore Chapter ”
  2. Bank: State Bank of India
  3. Branch: B1, Cross Road, MIDC, Andheri (E) Mumbai. 400 093 Bank Phone No. 022- 28362419
  4. MICR: 400002057
  5. IFSC : SBIN0003298
  6. SWIFT Code: SBININBB363
  7. Account # : 33762189110
  8. Bank Code: 07074
  9. IFSC Code / NEFT / RTGS: SBIN0007074


Use www.Meraevents.com for online registration Event URL: http://www.meraevents.com/event/national-workshop-conference-on-formal-method-ncfm-on-15-17-oct2014


Venue & For Registration Contact


Sridhar H.C / Ramaswamy
CSI Bangalore Chapter, Unit No.201, 2nd Floor, MBC., 134, Infantry Road, Bengaluru - 560 001.


Telephone
080 22860461 / 40906171

Mobile
09448905268 / 77956 14995

Fax
080-22862215

Email
This email address is being protected from spambots. You need JavaScript enabled to view it.

Website
www.csibc.org
Event Chair
Prof. Shyam Sundar
Event Chairman
Tata Institute of Fundamental Research
This email address is being protected from spambots. You need JavaScript enabled to view it. 		General Chair
Mr. Chander Mannar
Chairman, CSI-BC
This email address is being protected from spambots. You need JavaScript enabled to view it.
Cell : +91 99451 39255		 General Chair
Mr. Bindhumadhava
Past Immd Chairman, CSI-BC
This email address is being protected from spambots. You need JavaScript enabled to view it.
Cell : +91 98442 53414		 Organising Chair
Ms. Bhanumathi
Vice-chairperson, CSI-BC Convenor SIG-FM, CSI India
This email address is being protected from spambots. You need JavaScript enabled to view it.
Cell : +91 95350 92589
Program Chair
Mr. T. Sabapathy
This email address is being protected from spambots. You need JavaScript enabled to view it.
Cell : +91 99720 92940		 Finance Chair
Dr. Anbunathan Ramaiah
Hon. Treasurer, CSI-BC
This email address is being protected from spambots. You need JavaScript enabled to view it.
Cell : +91 99862 13430		 Industry Chairs
Dr. Arindam Sen
Ms. Savitha Gowda
Mr. Mohan Ramanathan
This email address is being protected from spambots. You need JavaScript enabled to view it.
Cell : +91 80951 76206
Academic Chairs
Dr. Prakash
Mr. Jayaramaiah
Dr. Saroja Devi
This email address is being protected from spambots. You need JavaScript enabled to view it.
Cell : +91 99169 06238		 Hospitality & Public relations Chairs
Mr. Suresh Thyagarajan
Mr. Raghavendra Rao
This email address is being protected from spambots. You need JavaScript enabled to view it.
Cell : +91 98806 55481		 Media & Stage Chairs
Mr. Iqbal
Ms. Manju Nanda
Mr. Vinay Krishna
This email address is being protected from spambots. You need JavaScript enabled to view it.
Cell : +91 98452 78472
Registration Chairs
Mr. Senthil Kumar
Dr.Shantharam Nayak
This email address is being protected from spambots. You need JavaScript enabled to view it.
Cell : +91 99862 13430