Conference

International Symposium on Automated Technology for Verification and Analysis


The International Symposium on Automated Technology for Verification and Analysis, organized by the Tata Consultancy Services will take place from 3rd October to 6th October 2017 at the Tata Consultancy Services in Pune, India. The conference will cover areas like formalisms for modeling hardware, software and embedded systems, specification and verification of finite-state, infinite-state and parameterized system.

Visitors Attending

Anand Bhalve

Anand Bhalve

CEO at Cadence Data Soft Pvt. Ltd.Pune, India
ayushveda

ayushveda

Operations Manager at Right TurnBengaluru, India
Navi Shah

Navi Shah

Manager at Stars CitiMumbai, India
Harshita

Harshita

COO at Rabbit and Tortoise Technology SolutionsPune, India
Santosh Verma

Santosh Verma

Managing Director at My Eco EnergyMumbai, India
Umesh Kumbhar

Umesh Kumbhar

Manager at srcPune, India
Sachin Songaonkar

Sachin Songaonkar

Doctor at Boscon It Solutions Pvt.ltd.Pune, India
18.58028173.687433

Map & Directions

map of Tata Consultancy Services

Tata Consultancy Services

Sahyadri Park, Plot No. 2 & 3, Rajiv Gandhi Infotech Park, Phase-III, Hinjewadi, Phase 3, Hinjewadi Rajiv Gandhi Infotech Park, Hinjawadi, Pune, Maharashtra 411057, India
Pune, India

Get Directions

Featured Hotels in Pune

More Hotels