[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
