---------------------------------------------------------------------- CALL FOR PARTICIPATION: ATVA 2016
14th International Symposium on Automated Technology for Verification and Analysis (ATVA) 2016
Chiba, Japan, October 17-20th, 2016
http://atva2016.gforge.inria.fr/ ----------------------------------------------------------------------
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.
Venue
Chiba, Japan
Main conference: Mitsui Garden Hotel
Tutorials: Chiba University, Nishi-Chiba campus (one station away from hotel)
Scope
* Formalisms for modeling hardware, software and embedded systems
* Specification and verification of finite-state, infinite-state and parameterized systems
* Program analysis and software verification
* Analysis and verification of hardware circuits, systems-on-chip and embedded systems
* Analysis of real-time, hybrid, priced/weighted and probabilistic systems
* Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification
* Analytical techniques for safety, security, and dependability
* Testing and runtime analysis based on verification technology
* Analysis and verification of parallel and concurrent hardware/software systems
* Verification in industrial practice
* Applications and case studies
Keynotes (Oct. 17-19)
Masahiro Fujita: Unification of Synthesis and Verification in Topologically Constrained Logic Design
Javier Esparza: From LTL to Limit-Deterministic Automata
Tevfik Bultan: Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution
Tutorials (Oct. 20)
Masahiro Fujita: Synthesizing and completely testing hardware based on templates through small numbers of test patterns
Javier Esparza: Verification of population protocols
Tevfik Bultan: String Analysis for Vulnerability Detection and Repair
Important Dates:
Early registration: August 31 (Japan Standard Time) Conference: October 17-20
Programme Committee Co-Chairs
Cyrille Artho (AIST, Japan and KTH, Sweden) Axel Legay (INRIA, France) Doron Peled (Bar Ilan University, Israel)
Publicity Chair
Takashi Kitamura (AIST, Japan)
Local Chairs
Mitsuharu Yamamoto (Chiba University, Japan) Yoshinori Tanabe (Tsurumi University, Japan)