POPL 2027 — 44-й симпозиум ACM SIGPLAN по принципам языков программирования
Оригинальное название: RocqPL 2027 — Rocq for Programming Languages
ОфлайнВоркшоп
- Когда
- Время указано по месту проведения (America/Mexico City, UTC−6).
- Где
- Hilton Mexico City Reforma, Mexico City, Мексика
- Формат
- Офлайн
- Тематики
- Наука
- Язык мероприятия
- Английский
- Стоимость
- Платно
- Организатор
- ACM SIGPLAN
О мероприятии
Ежегодный научный симпозиум, посвящённый фундаментальным принципам языков программирования. В программе — доклады о системах типов, синтезе программ, статическом анализе и методах верификации программного обеспечения. Мероприятие проходит в офлайн-формате.
Переведено автоматически
Источники
Информация собрана с этих сайтов. Проверяйте детали у организатора.
- popl27.sigplan.orgpopl27.sigplan.org · проверено 27 октября 2026 г.