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