Tenth International Symposium on

Automated Technology for Verification and Analysis (ATVA) 2012

Thiruvananthapuram (Trivandrum), Kerala, October 3–6, 2012



Venue

Conference Venue

Tata Consultancy Services
LDI Building, Peepul Park
Technopark Campus
Karyavottam PO
Thiruvananthapuram 695 581
Kerala, India.

About Thiruvananthapuram

Thiruvananthapuram (earlier called Trivandrum) is located on the west coast of India near the southern tip of the Indian peninsula. It is the capital of the southern Indian state of Kerala. The population of Thiruvananthapuram is about 1 million.

Getting to Thiruvananthapuram

Thiruvananthapuram is well connected to other cities in India by train and air. There are direct flights to Thiruvananthapuram from major international air hubs such as Mumbai (Bombay), Delhi, Bangalore and Chennai (Madras).

In addition, there are also direct international flights from cities such as Dubai (Emirates), Doha (Qatar Airways) and Singapore (Silk Air, Tiger Airways).