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
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
Your consent to our cookies if you continue to use this website.