---------------------------------------------------------------------- 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)