National Workshop /Conference on Formal Methods-NCFM on 15-17 Oct-2014

National Workshop /Conference on Formal Methods-NCFM on 15-17 Oct-2014

 

  • For Conference - Members of CSI IEEE - Industry Corporate, R and D Labs

    Members of CSI IEEE Industry Corporate R and D Labs

    Sale Date Ended

    INR 2000
    Sold Out
  • For Conference -Non Members Industry Corporate R and D Labs

    Non Members Industry Corporate R and D Labs

    Sale Date Ended

    INR 3750
    Sold Out
  • For Conference-Member of CSI IEEE - Student

    Member of CSI IEEE - Student

    Sale Date Ended

    INR 1200
    Sold Out
  • For Confrence-Non Member of CSI, IEEE - Student

    Non Member of CSI, IEEE - Student

    Sale Date Ended

    INR 1700
    Sold Out
  • For Tutorial - Members of CSI IEEE - Industry Corporate, R and D Labs

    Members of CSI IEEE - Industry Corporate, R and D Labs

    Sale Date Ended

    INR 3500
    Sold Out
  • For Tutorial -Non Members Industry Corporate R and D Labs

    Non Members Industry Corporate R and D Labs

    Sale Date Ended

    INR 4500
    Sold Out
  • For Tutorial-Member of CSI IEEE - Student

    For Tutorial - Member of CSI IEEE - Student

    Sale Date Ended

    INR 2000
    Sold Out
  • For Tutorial -Non Member of CSI, IEEE - Student

    Non Member of CSI, IEEE - Student

    Sale Date Ended

    INR 2500
    Sold Out

Invite friends

Contact Us

Page Views : 1086

About The Event

 COMPUTER SOCIETY OF INDIA

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

and

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

presents

National workshop-cum-Conference on Formal Methods-NCFM

 

October 15th-17th, 2014 at IISc, Bengaluru

 

Venue

 

Indian Institute of Science (IISC), Bangalore

CV Raman Rd, Bangalore, Karnataka 560012

Ph: 080-22932004

 

 

Conference Theme

 

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

 

  • Large-scale system of systems
  • 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.

 

Conference 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.

Conference 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:

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

 

Session

 

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

 The conference proceedings will be published in   the special issue of CSI Transactions on ICT, Springer Publication

 Registration

All accepted papers must be registered to ensure that the paper is included in the conference proceedings and the journal. Only registered authors are allowed to present their papers. Registration fee covers conference kit, conference proceedings, journal processing fee, coffee/tea, working lunch.

Please refer to www.csibc.org/ncfm2014

 

 Conference Registration (15th-17th October 2014)

 

Category

Fees (INR)

Members of CSI, IEEE - Industry, Corporate, R&D Labs

2000

Non Members - Industry, Corporate, R&D Labs

3750

Member of CSI, IEEE - Student

1200

Non Member of CSI, IEEE - Student

1700

 

 

 

Tutorial Registration

 

Category

Fees (INR)

Members of CSI, IEEE - Industry, Corporate, R&D Labs

3500

Non Members - Industry, Corporate, R&D Labs

4500

Member of CSI, IEEE - Student

2000

Non Member of CSI, IEEE - Student

2500

 

 Cheque /DD in favour of CSI–Bangalore Chapter” payable at Bangalore

 

Important Dates

 

Delegates are requested to submit abstract based on their own ongoing/completed and unpublished research related to the above disciplines. The abstract should not exceed 500 words and should cover the title of the paper, objective, scope of the paper, methodology adopted, major results and inferences. The names, affiliations, email address and full mailing address of all the authors must be mentioned. Authors are requested to submit the abstract limited to 500 words and the full paper through the conference website:

 

Submission of Abstract: September 20, 2014

Submission of Full Paper: October 1, 2014

Submission of Revised Paper: October 8, 2014

Notification of Acceptance of Full Paper: October 12, 2014 

Contact:

Mr. Sridhar H.C. / Mr. Ramaswamy

COMPUTER SOCIETY OF INDIA – BANGALORE CHAPTER

Unit #201, 2nd Floor, MBC. 134, Infantry Road, Bangalore 560001

Tel +91-80- 2286 0461, 40906171, Tele / fax: +91-80-2285 2215 Cell No. 94489 05268

E-mail: ncfm2014@gmail.com, URL: http:///www.csibc.org