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.

+ Add me as visitor

Visitors Attending

Anand Bhalve

Anand Bhalve

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

ayushveda

Operations Manager at Right TurnBengaluru, india
Sachin Songaonkar

Sachin Songaonkar

Doctor at Boscon It Solutions Pvt.ltd.Pune, india
Akshay Kumar Gupta

Akshay Kumar Gupta

Project Manager at KantarPune, india
Maneetkumar Dhanvijay

Maneetkumar Dhanvijay

asst prof at COEPPune, india
MOHAMMED MATEENUDDIN SIDDIQUI

MOHAMMED MATEENUDDIN SIDDIQUI

Assistant Professor at Modern Education Society's ..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