VMCAI 2027 — Верификация, проверка моделей и абстрактная интерпретация
Оригинальное название: VMCAI 2027 — Verification, Model Checking & Abstract Interpretation
ОфлайнКонференция
- Когда
- Время указано по месту проведения (America/Mexico City, UTC−6).
- Где
- Hilton Mexico City Reforma, Mexico City, Мексика
- Формат
- Офлайн
- Тематики
- НаукаТестирование
- Стоимость
- Не указана
- Организатор
- ACM SIGPLAN
О мероприятии
Конференция, проводимая совместно с ACM SIGPLAN, по формальным методам анализа программ: доказательство корректности, проверка моделей и абстрактная интерпретация. Формат — очный, площадка — Мехико.
Переведено автоматически
Источники
Информация собрана с этих сайтов. Проверяйте детали у организатора.
- popl27.sigplan.orgpopl27.sigplan.org · проверено 5 ноября 2026 г.