Presentation on theme: "2nd Workshop on Formal Methods in Safety Critical and Industrial Applications – 2002 ( 2 – 5 December 2002, KReSIT Auditorium) Welcome to all Participants."— Presentation transcript:
2nd Workshop on Formal Methods in Safety Critical and Industrial Applications – 2002 ( 2 – 5 December 2002, KReSIT Auditorium) Welcome to all Participants and Guests Inauguration Inauguration
Inaugural Program 09.00WelcomeS. Ramesh, Head CFDVS 09.15Presidential Address S. Suryanarayan Dean (Research Development) I.I.T. Bombay 09.30Inaugural addressG. Govindarajan Director (Electronics & Instrumentation and Automation & Manufacturing Groups Bhabha Atomic Research Centre 09.45Vote of ThanksS.D. Dhodapkar Head, Software Reliability Section Reactor Control Division Bhabha Atomic Research Centre
Mission of CFDVS Resources R & D V & VEd.&Tr.
Participants Name of the Company /OrganisationNo. of Participant Bhabha Automic Research Centre, Mumbai14 Honeywell, Bangalore4 Patni Computer Systems Ltd., Mumbai3 Aeronautical Development Agency, Bangalore2 Vikram Sarabhai Space Center, Thiruvananthapuram2 Tata Institute of Fundamental Research, Mumbai2 Nucliear Power Corporation, Mumbai2 Regional Engg. College Surat, Surat2 Inst. of Armament Technology, Pune1 IGCAR, Kalpakam1 Total Participants : 33
Date: 02 nd Dec Theme : Software Verification using Theorem Proving
Date : 03 rd Dec Theme : Hardware Verification using Model Checking
Date: 04 th Dec Theme : Software verification using Model Checking
Date : 05 th Dec Theme : Hardware Verification using Theorem Proving
Venue of Lectures and Labs For Lectures : KReSIT Audi.:KReSIT Auditorium For Labs: IECR : Institute Electronic Class Room, No. SIC101, C wing, 1 st Flr. KReSIT Bldg.