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

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

3. Mission of CFDVS Resources R & D V & VEd.&Tr.

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

5. Date: 02 nd Dec. 2002 Theme : Software Verification using Theorem Proving

6. Date : 03 rd Dec. 2002 Theme : Hardware Verification using Model Checking

7. Date: 04 th Dec. 2002 Theme : Software verification using Model Checking

8. Date : 05 th Dec. 2002 Theme : Hardware Verification using Theorem Proving

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