Visible to the public ATVA 2016Conflict Detection Enabled

Submitted by Anonymous on Fri, 09/09/2016 - 12:49pm
Oct 17, 2016 7:00 am - Oct 20, 2016 6:00 pm JST

CALL FOR PARTICIPATION

14th International Symposium on Automated Technology for Verification and Analysis (ATVA) 2016

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

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

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)
Event Details
Location: 
Chiba, Japan
URL: 
http://atva2016.gforge.inria.fr/