12. Januar - 12. Januar 2026

Rang: B (CORE2023)Springer LNCS; 18 pages (regular), up to 18 pages (tool papers); double-blind (regular), single-blind (tool)

International Symposium on Automated Technology for Verification and Analysis

Aktualisiert: about 1 month ago

★

0.0 (0 Bewertungen)

Venue TBDNo publisher

Noch keine Follower.

Themen:

Modeling and specification; finite-state infinite-state and parameterized systems; program analysis and software verification; hardware SoC embedded; real-time probabilistic quantum hybrid weighted systems; deductive algorithmic compositional

Übersicht

ATVA 2026 website (researchr track). The 24th International Symposium on Automated Technology for Verification and Analysis, co-located with APLAS 2026. Main conference December 1–5, 2026. Important dates (2026, AoE): abstract and paper submission April 30; tool paper artifact May 7; early-rejection notification mid May; author response June 8–11; paper notification June 25; camera-ready September 10. Submissions via HotCRP (atva26.hotcrp.com). LNCS format; regular papers double-blind, tool papers single-blind; optional artifact for regular, mandatory for tool papers. Spotlights of Verification co-located (abstract deadline TBA). Venue TBD.

Call for Papers

Wichtige Termine

Konferenzdaten

Conference Date

12. Januar 2026

Bisher:

1. Dezember 2026
27. Oktober 2025 - 31. Oktober 2025

Einreichung

Paper submission

NEU

30. April 2026

Benachrichtigung

Notification date

NEU

6. Mai 2026

Druckvorlage

Camera-ready

NEU

9. Oktober 2026

Andere Termine

Author response period

17. Juni 2025 → 20. Juni 2025

Tutorials and Workshops

27. Oktober 2025

Quellenrang

Quelle: CORE2023

Rang: B

Forschungsgebiet: Software engineering

Karte

Loading feedback section...