[TYPES/announce] (Submissions can be updated till April 25 AoE) ATVA 2024 2nd CfP

[Ichiro Hasuo]

Dear colleagues,

This is the 2nd Call-for-Paper for ATVA 2024. Apologies if you receive
multiple copies.

The authors will be able to update their submissions till April 25 AoE (the
deadline is April 19 AoE)
(Submissions can be updated till April 25 AoE) ATVA 2024 2nd Call for Papers

The 22nd International Symposium on Automated Technology for Verification
and Analysis (ATVA), will take place in Kyoto, Japan, October 21-24, 2024.
For more information, see https://urldefense.com/v3/__https://atva-conference.org/2024/__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oYm0Qom9$ .

The authors will be able to update their submissions till April 25 AoE (the
deadline is April 19 AoE)
SCOPE

ATVA 2024 is the 22nd in a series of symposia aimed at bringing together
academics, industrial researchers, and practitioners in the area of
theoretical and practical aspects of automated analysis, synthesis, and
verification of hardware and software systems. ATVA solicits high-quality
submissions in the following non-exhaustive list of 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

PAPER SUBMISSION

Submissions will be accepted in two categories:

   -

   Regular Research Papers (18 pages max, excl. references, must be
   anonymized)
   -

   Tool Papers (10 pages max, excl. References, not anonymized).

Please note that, for the first time at ATVA, the submission process for
regular research papers will be double-blind and will include a rebuttal/author
response period. Also, an artifact evaluation will be undertaken, which
will be optional for regular papers and mandatory for tool papers.
Submissions authored or co-authored by members of the program committee are
allowed and encouraged.

Accepted papers in both categories will be published in Springer’s Lecture
Notes in Computer Science series. At least one author of each accepted
paper is expected to register and present the paper at the conference.

A few outstanding papers will be selected for a distinguished paper award.

All papers must be submitted through EasyChair:
https://urldefense.com/v3/__https://easychair.org/conferences?conf=atva2024__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2ociOuDbs$ .
IMPORTANT DATES (all dates AOE):

Paper submission: April 19, 2024 (The authors will be able to update their
submissions till April 25 AoE)

AE submission for tool papers: May 2, 2024

Author response/rebuttal period: June 4 - June 7, 2024

Author notification: June 19, 2024

AE submission for regular papers: June 25, 2024

AE notification: August 10, 2024

Final version due: August 15, 2024

Conference dates: Oct 21-24, 2024

Conference webpage: https://urldefense.com/v3/__https://atva-conference.org/2024/__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oYm0Qom9$ 

KEYNOTE SPEAKERS

Naoki Kobayashi <https://urldefense.com/v3/__https://www-kb.is.s.u-tokyo.ac.jp/*koba/__;fg!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2od4t_0j8$ >, University of
Tokyo

Orna Kupferman <https://urldefense.com/v3/__https://www.cs.huji.ac.il/*ornak/__;fg!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oauMhy1p$ >, Hebrew University

Anne-Kathrin Schmuck <https://urldefense.com/v3/__https://wp.mpi-sws.org/akschmuck/__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oa1MCxx7$ >, Max Planck
Institute for Software Systems

TUTORIAL SPEAKERS

Haniel Barbosa <https://urldefense.com/v3/__https://hanielbarbosa.com/__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oWjt4M5i$ >, Universidade Federal de Minas
Gerais

Priyanka Darke
<https://urldefense.com/v3/__https://scholar.google.com/citations?user=tb_Azw4AAAAJ&hl=en__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oe4UqYrk$ > and R
Venkatesh <https://urldefense.com/v3/__https://dblp.org/pid/77/2661-1.html__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oe7z2GV6$ >, TCS Research


CONTACT

For any questions, please contact the PC chairs:

Aina Niemetz (niemetz at cs.stanford.edu)

S. Akshay (akshayss at cse.iitb.ac.in)

Sriram Sankaranarayanan (srirams at colorado.edu)

Ichiro Hasuo, General Chair  (i.hasuo at acm.org)


Best regards,

Jie An (Publicity Chair of ATVA 2024)
National Institute of Informatics, Tokyo, Japan
https://urldefense.com/v3/__https://leslieaj.github.io/__;!!IBzWLUs!XQTrCXUzpANSpDpvoGrAQv3xEdQIZPPdJs6BPoWILytdnXx2p85IPzrklFIs8eKF6cyrCiduq0WsDrhJtPw2oSdaYxiM$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240410/e4cd95f7/attachment-0001.htm>