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