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