ATVA 2016 (Event)

Description

The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous events were held in Taiwan - 2003-5, Beijing - 2006, Tokyo - 2007, Seoul - 2008, Macao - 2009, Singapore - 2010, Taiwan - 2011, Thiruvananthapuram - 2012, Hanoi – 2013, Sydney – 2014, and Shanghai - 2015.

Period	17 Oct 2016 → 20 Oct 2016
Event title	ATVA 2016
Event type	Other
Location	JapanShow on map