۱۰ آذر - ۱۰ آذر ۱۴۰۵

رتبه: 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

به‌روزرسانی شده: 21 days ago

★

3.0 (20 امتیازات)

Venue TBDهیچ ناشری در دسترس نیست.

هنوز دنبال‌کننده‌ای وجود ندارد.

موضوعات:

compositional security Modeling and specification; finite-state infinite-state and parameterized systems; program analysis and software verification; hardware SoC embedded; real-time quantum weighted systems; deductive abstraction/refinement techniques; safety dependability; testing and runtime analysis; parallel and concurrent systems; industrial practice; synthesis; neural networks; autonomous systems

نمای کلی

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.

فراخوان مقالات

تاریخ‌های مهم

تاریخ‌های کنفرانس

Conference Date

۱۰ آذر ۱۴۰۵

قبلاً:

۵ آبان ۱۴۰۴ - ۹ آبان ۱۴۰۴

رتبه منبع

منبع: CORE2023

رتبه: B

حوزه پژوهشی: Software engineering, دیگر استفاده نمی‌شود

نقشه

Loading feedback section...