ATVA Papers
Peer-reviewed research papers presented in technical sessions, including distinguished paper and tool paper categories.
Software Eng/CORE B
ATVA 2025
International Symposium on Automated Technology for Verification and Analysis
ATVA 2025 is the 23rd International Symposium on Automated Technology for Verification and Analysis, dedicated to advancing research in automated analysis, verification, and synthesis of systems. It brings together international research communities and industry, co-located with APLAS 2025, and features invited talks, peer-reviewed papers, tutorials, workshops, and a NIER (New Ideas and Emerging Results) track.
Key deadlines
Verified September 9, 2026Full paper
April 26, 2025
AoE
Conference timeline
Submission and decisions
Full paperKey deadline
April 26, 2025 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
NIER
New Ideas and Emerging Results: short presentations of innovative or preliminary research findings.
Tutorials
In-depth instructional sessions on specific topics, such as Replicated Data Types and Quantitative and Probabilistic Verification.
Workshops
Specialized sessions held after the main conference, focusing on specific research themes, such as the MMAC workshop series.
APLAS Papers
Peer-reviewed papers from the Asian Symposium on Programming Languages and Systems, presented alongside ATVA.
Invited Talks
Keynote presentations by leading researchers in automated verification and related fields.
Research areas in scope
01
ATVA Papers
AutomataVerificationHybrid and Dynamical SystemsGamesMonitoring and Runtime VerificationLearning
02
APLAS Papers
Type Systems, Safety, and VerificationControl, Effects, and DecidabilityQuantum Programming and LogicProgram Analysis, Specifications, and Decision ProceduresAI and Compiler Optimisation for Performance
03
NIER
Regular Theories and How to Decide ThemController Synthesis for Reactive Systems with Communication Delay by Formula TranslationProperty Grouping and Context-Aware Runtime EnforcementCompositional Probabilistic Model Checking with String Diagrams of MDPsPhantomDrive: A Privacy-Focused Navigation System for Concealing User MovementsBidding Your Way to Better Decisions
04
Tutorials and Workshops
Replicated Data Types: Specification and VerificationQuantitative and Probabilistic VerificationMMAC Workshop: Verifying programs under weak consistencyMMAC Workshop: Causally Deterministic (factored) Markov Decision ProcessesMMAC Workshop: Abstractions for Scalable Verification of AI-enabled Cyber-Physical SystemsMMAC Workshop: On the average-case complexity of the word problem in subgroups of GL_d(Z)MMAC Workshop: Milestones and Motifs
05
Invited Talks
15 Years of Viper: Building and Evolving a Verification InfrastructureNetwork Abstractions for Modularity and Performance VerificationLLMs meet Program Synthesis
Policies worth checking twice
- Submissions are accepted for ATVA Papers, NIER, Tutorials, Workshops, and APLAS Papers.
- Workshop proposals must be submitted by 30 April 2025.
- Tool papers are explicitly accepted as part of ATVA Papers.
- The conference is co-located with APLAS 2025, indicating shared infrastructure and possibly shared submission or review processes for APLAS papers.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Official conference siteATVA ProgramProgram at a GlanceTutorials and WorkshopsProgramme Committee23rd Asian Symposium on Programming Languages and Systems (APLAS 2025)
Last verified September 9, 2026