[TYPES/announce] CFP: ATVA 2020 - submission deadlines extended

[Oleg Sokolsky]

ATVA 2020: The 18th International Symposium on Automated Technology for 
Verification and Analysis

Hanoi, Viet Nam, October 19-23, 2020
Conference website    http://fit.uet.vnu.edu.vn/atva2020
Abstract registration deadline    May 6, 2020
Submission deadline    May 12, 2020

SCOPE

ATVA 2020 is the 18th in the ATVA series of symposia intended topromote 
research in theoretical and practical aspects of automatedanalysis, 
verification and synthesis in Asia by providing a forum forinteraction 
between the regional and international researchcommunities and industry 
in the field. The previous 17 events wereheld in Taipei 
(2003-2005-2019), Beijing (2006), Tokyo (2007), Seoul(2008), Macao 
(2009), Singapore (2010), Taipei (2011-2019),Thiruvananthapuram (2012), 
Hanoi (2013), Sydney (2014), Shanghai(2015), Chiba (2016), Pune (2017), 
and Los Angeles (2018).The proceedings of ATVA 2020 will be published in 
the Springer Lecture Notes in Computer Science (LNCS) series, same as in 
previous years.

ATVA 2020 solicits high-quality submissions on, but not limited to,the 
following topics:

     Formalisms for modeling hardware, software and embedded systems
     Specification and verification of finite-state, infinite-state and 
parameterized system
     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 systems
     Verification in industrial practice
     Synthesis for hardware and software systems
     Applications and case studies
     Automated tool support

SUBMISSIONS

ATVA welcomes submissions in the following two categories:

     Regular research papers (16 pages, including references)
     Tool papers (6 pages, including references)

Submissions must be in Springer’s LNCS format. Additional material maybe 
placed in an appendix, to be read at the discretion of thereviewers and 
to be omitted in the final version. Formatting stylefiles and further 
guidelines for formatting can be found at theSpringer website.Tool 
papers must include information about a URL from where the toolcan be 
downloaded or accessed on-line for evaluation. The URL mustalso contain 
a set of examples, and a user manual that describes usageof the tool 
through examples. In case the tool needs to be downloadedand installed, 
the URL must contain instructions for installation ofthe tool on 
Linux/Windows/MacOS.Papers must be submitted through EasyChair.

Accepted papers in both categories will be published in 
Springer’sLecture Notes in Computer Science series. At least one author 
of eachaccepted paper is expected to register and present the paper at 
theconference.

NEW IMPORTANT DATES

     Abstract submission:  May 6, 2020
     Paper submission deadline:  May 12, 2020
     Paper acceptance/rejection notification: Jun 24, 2020
     Early registration: September 16, 2020
     Conference: October 19-23, 2020

INVITED SPEAKERS

     Tobias Nipkow (Munich, Germany)
     Klaus Havelund (CalTech / NASA JPL)
     David Dill (Standford, USA)

CONFERENCE CHAIR

Pham Bao Son, Vice President of VNU

PC CO-CHAIRS

     Dang Van Hung, VNU-Hanoi
     Oleg Sokolsky, University of Pennsylvania, USA

PROGRAM COMMITTEE

     Dang Van Hung,VNU-Hanoi
     Oleg Sokolsky, University of Pennsylvania, USA
     Mohamed Faouzi Atig, Uppsala University
     Ondrej Lengal, Brno University of Technology
     Christel Baier, TU Dresden
     Orna Kupferman, Hebrew University
     Chih-Hong Cheng, fortiss – Research Institute of the Free State of 
Bavaria
     Erika Abraham, RWTH Aachen University
     Tachio Terauchi, Waseda University
     Yu-Fang Chen, Academia Sinica
     Zhilin Wu, Institute of Software, Chinese Academy of Sciences
     Pham Ngoc Hung, VNU, Hanoi
     Borzoo Bonakdarpour, Iowa State University
     Truong Anh Hoang, VNU, Hanoi
     Alexandre Duret-Lutz, LRDE/EPITA
     Ezio Bartocci, Technical U. of Vienna
     Javier Esparza, Technical University of Munich
     Xuan Dong Li, Nanjing University
     Doron Peled, Bar Ilan University
     Do Van Tien, Budapest University of Technology and Economics
     Dimitar Guelev, Bulgarian Academy of Sciences
     Bernd Finkbeiner, Saarland University
     Keijo Heljanko, University of Helsinki
     Krishnendu Chatterjee, Institute of Science and Technology (IST)
     Sven Schewe, University of Liverpool
     Franck Cassez, Macquarie University
     Jun Sun, Singapore University of Technology and Design
     Lu Feng, U. of Virginia
     Hakjoo Oh, Korea University
     Udi Boker, Interdisciplinary Center (IDC) Herzliya
     Luca Bortolussi, University of Trieste
     Michael    Tautschnig, Queen Mary University of London
     Bow-Yaw Wang, Academia Sinica
     Lijun Zhang, Institute of Software, Chinese Academy of Sciences
     Quan Thanh Tho, Ho Chi Minh University of Technology
     David Lo, SMU, Singapore
     Swen Jacobs, CISPA Helmholtz Center for Information Security, Germany
     Farn Wang, National Taiwan University, Taiwan
     Meenakshi D'Souza, International Institute of Information 
Technology, India
     Vo Dinh Hieu, VNU-HanoiIndranil Saha, Indian Institute of 
Technology Kanpur, India

ORGANIZING COMMITTEE CO-CHAIRS

     Vo Dinh Hieu, VNU-Hanoi
     Pham Ngoc Hung, VNU-Hanoi

CONFERENCE VENUE

Historical Campus, Vietnam National University, 19 Le Thanh Tongstreet, 
Hoan Kiem district, Hanoi, Vietnam.