Two day Workshop on Formal Methods 4th-5th January 2016

Two day Workshop on Formal Methods 4th-5th January 2016


  • CSI-Member


    Sale Date Ended

    INR 5000
    Sold Out
  • Non-Member

    CSI-Non Member

    Sale Date Ended

    INR 7000
    Sold Out
  • Student

    Student Academia

    Sale Date Ended

    INR 1000
    Sold Out

Invite friends

Contact Us

Page Views : 763

About The Event



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


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


Workshop on “Formal Methods”-WFM


Date : January 4th & 5th 2016


Time : 9.30 a.m. to 5.30 p.m.

Venue : CSI- Bangalore Chapter

Unit # 201, II floor, M B Centre,  

134, Infantry Road, Bengaluru-560001

Tel 080-2286 0461, 4090 6171 Telefax: 0802286 2215,+91 9448905268


Workshop Objectives:


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.


The focus of the workshop is to generate awareness and interest in formal methods, and aims to foster foster integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is currently the case. 


CSI SIG-FM strives to promote research and development for the improvement of formal methods and tools for industrial applications.


Who should attend:

Hardware and Software Pre-requisites


Scientists, Software Engineers, and Embedded System Engineers interested in the development and application of formal methods in industry will benefit with this workshop.

People attending the workshop should bring their own Laptop.





WORKSHOP FEE(Includes Course Material, Lunch and Tea)


  • Members of CSI, IEEE : Rs. 5000/-
  • Non Members - Industry, Corporate, R&D LabsRs. 7,000/-
  • Student Rs. 1,000/-



Payment details:

Computer Society of India (Bangalore Chapter)

Unit #  201, M.B.Center, 134,Infantry Road,

BENGALURU – 560 001


Contact Person:

Mr. H C Sridhar / Mrs. Nirmala J

(080) 2286 0461, 40906171 / 9448905268

Telefax: 080 2286 2215 E-mail:,

Cheques to be drawn in favour of : “ CSI Bangalore Chapter ”

Details of CSI BC Bank account for online payment :

  • Bank: State Bank of India
  • Branch: B1, Cross Road, MIDC, Andheri (E),

Mumbai – 400 093

  • MICR: 400002057
  • IFSC : SBIN0007074
  • Swift Code: SBIN0007074
  • Account # : 33762189110
  • Bank Code: 07074
  • IFSC/NEFT/RTGS Code: SBIN0007074
  • Bank Phone # 022-28362419