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