ATVA 2024, Kyoto, Japan

22nd International Symposium on Automated Technology for Verification and Analysis

Menu

Skip to content
  • Home
  • Organization
  • Keynotes
  • Program
  • Social Events
  • Calls
    • Important Dates
    • Call for Papers
    • Artifact Evaluation
  • Registration
  • Accepted Papers
  • Tutorials
  • Workshops
  • Venue
  • Sponsors

Program

The program of the ATVA main conference can be found on the easychair (click here!) and downloaded.

Please find the preliminary proceedings here (use the password sent to you in an email)

TutorialsOctober 21
Mentoring workshopOctober 21
ATVA main conference (in parallel with APLAS)October 22 – 24
APLAS NIER Workshop (collaborate with ATVA)October 25
programDownload

Sponsors

Silver Sponsors

Organizational Sponsors

Award Sponsor


Important Dates

AoE (Anywhere on Earth)

Paper submission:
April 19, 2024 Extended until April 25 (papers can be updated till April 28 AoE)
AE submission for tool papers:
May 2 May 9, 2024
Author response/rebuttal period:
June 4 - 7 June 11-14, 2024
Author notification:
June 19 June 26, 2024
AE submission for regular papers:
July 2 July 7, 2024
AE notification:
August 10 August 17, 2024
Final version due:
August 15 August 22, 2024
Conference:
October 21 - 24, 2024

Proudly powered by WordPress | Theme: Expound by Konstantin Kovshenin