Конференции

Verification, Model Checking and Abstract Interpretation

Технические науки
США, Бостон

15 января–17 января 2023

Форма участия: Очная

Срок подачи заявок: 08.09.2022

Организаторы: VMCAI

Страница события

Повысить рейтинг

Повышение рейтинга дает возможность оставаться объявлению в топе на главной странице, а также на страницах городов, тематик, связанных с объявлением.

Текущее значение: 0

Topics include, but are not limited to:

  • Program Verification
  • Model Checking
  • Abstract Interpretation
  • Abstract Domains
  • Program Synthesis
  • Static Analysis
  • Type Systems
  • Deductive Methods
  • Program Logics
  • First-Order Theories
  • Decision Procedures
  • Interpolation
  • Horn Clause Solving
  • Program Certification
  • Separation Logic
  • Probabilistic Programming and Analysis
  • Error Diagnosis
  • Detection of Bugs and Security Vulnerabilities
  • Program Transformations
  • Hybrid and Cyber-physical Systems
  • Concurrent and distributed Systems
  • Analysis of numerical properties
  • Analysis of smart contracts
  • Analysis of neural networks
  • Case Studies on all of the above topics

Submissions
Submissions are required to follow Springer’s LNCS format. The page limit depends on the paper’s category (see below). In each category, additional material beyond the page limit may be placed in a clearly marked appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website. Submission is via EasyChair.

Подать заявку на участие в мероприятии
No items found

Смотреть похожие мероприятия

Корзина для покупок