Конференции

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.

Подать заявку на участие в мероприятии
  • РЕКОМЕНДУЕМ ВАМ

Международная научно-практическая конференция “Наука и технологии” 🌍🔬 24/25

1 сентября-30 июля 2025

🚀 Международная научно-практическая конференция “Наука и технологии” 24/25 🌍🔬 — это событие, которое нельзя пропустить! 📚 С 1 сентября 2024 года по 30 июля 2025 года приглашаем ученых, студентов и пре...

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

II Международный конкурс для школьников по программированию и робототехнике “Роботы и коды” 24/25

🚀 II Международный конкурс по программированию и робототехнике “Роботы и коды” 24/25! 🤖 Друзья, внимание! 🌍 Готовы погрузиться в мир будущего, где каждый код оживает, а роботы исполняют ваши команды?...

Международный хакатон для школьников «Социальный Прорыв» 2024/2025

🧠 Международный хакатон для школьников «Социальный Прорыв» 2024/2025! 💡 🌍 Готовы изменить мир? Впереди вас ждет уникальная возможность проявить свои таланты, создавая инновационные решения для социальных проблем! Хакатон «Социальный Прорыв»...

Конференция FlowDays 2024

Ежегодная конференция FlowDays – 2024 о современных методах управления бизнесом и процессами   Дата: 13 сентября 2024 года Место: Старт Хаб на Красном Октябре Организатор: Neogenda Сайт: https://flowdays.ru/  Как эффективно...
Корзина для покупок