Información de la conferencia
ATVA 2022: International Symposium on Automated Technology for Verification and Analysis
Día de Entrega:
Fecha de Notificación:
Fecha de Conferencia:
Beijing, China
CCF: c   CORE: a   QUALIS: b1   Vistas: 24818   Seguidores: 41   Asistentes: 12

Solicitud de Artículos
The 20th International Symposium on Automated Technology for Verification and Analysis (ATVA 2022), 25 – 28 Oct 2022, Beijing, China. If the pandemic means that travelling is still an issue in October, we might change the plan and host the conference online.

ATVA 2022 is the 20th 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, software, and machine learning (ML) systems.


ATVA solicits high-quality submissions in the following suggestive list of topics:

    Formalisms for modeling hardware, software and cyber-physical systems
    Specifications and correctness criteria for programs and systems
    Decision procedures and solvers for verification and synthesis
    Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification
    Program analysis and software verification
    Analysis and verification of hardware circuits and systems-on-chip
    Analysis and verification of parallel and concurrent systems
    Analysis of probabilistic and cyber-physical systems
    Analysis and verification of machine learning algorithms and systems
    Formal models and methods for security and privacy
    Formal models and methods for biological systems
    Testing and runtime analysis based on verification technology
    Synthesis for hardware and software systems
    Applications and case studies
    Verification in industrial practice
Última Actualización Por Dou Sun en 2022-02-27
Coeficiente de Aceptación
Conferencias Relacionadas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
MCEBMInternational Conference on Mechanics, Civil Engineering and Building Material2017-04-102017-04-152017-04-21
b3FGCNInternational Conference on Future Generation Communication and Networking2015-06-302015-07-152015-11-25
ICDMMInternational Conference on Design, Manufacturing and Mechatronics2017-05-19 2017-05-26
ISPRInternational Conference on Intelligent systems and Pattern Recognition2024-03-152024-04-152024-06-12
CIComEAI International Conference on Computational Intelligence and Communications2021-05-012021-06-012021-09-02
ICWSEInternational Conference on Web Science and Engineering2021-08-10 2021-09-17
ICSREE International Conference on Sustainable and Renewable Energy Engineering2023-03-052023-03-312023-05-11
b3MOBIWACInternational Symposium on Mobility Management and Wireless Access2023-07-152023-08-152023-10-30
ISRAEInternational Symposium on Robotics and Automation Engineering2018-04-102018-04-102018-04-27
ICT4DAInternational Conference of ICT for Development for Africa2019-02-172019-03-152019-05-28
Revistas Relacionadas
CCFNombre CompletoFactor de ImpactoEditorISSN
Software Testing Verification and Reliability1.171Wiley-Blackwell0960-0833
International Journal of Information Technology & Decision Making2.862World Scientific0219-6220
Journal of Information Technology in ConstructionHerman1400-6529
Journal of Information Technology Education: ResearchInforming Science Institute1547-9714
IEEE Transactions on Information Technology in Biomedicine2.493IEEE1089-7771
Computer Modeling in Engineering & Sciences0.796Tech Science Press1526-1492
Information Technology & People1.263Emerald0959-3845
Journal of Research on Technology in EducationTaylor & Francis1539-1523
International Journal of Information Technology, Control and Automation AIRCC1839-6682
ETRI Journal0.861Wiley-Blackwell1225-6463