Наука — Мексика

Январь 2027 г.

• 10–16 янв.2027 вс
  WAVE 2027 — Мастерская по автоматической активной верификации

  WAVE 2027 — Workshop on Auto-active Verification

  Mexico City, МексикаОфлайнНе указана

  НаукаТестирование
• 10–16 янв.2027 вс
  PAgE 2027 — Принципы агентной разработки

  PAgE 2027 — Principles Of Agentic Engineering

  Mexico City, МексикаОфлайнНе указана

  ИИ и машинное обучениеНаука
• 10–16 янв.2027 вс
  PEPM 2027 — Частичная оценка и манипуляция программами

  PEPM 2027 — Partial Evaluation and Program Manipulation

  Mexico City, МексикаОфлайнНе указана

  Наука
• 10–16 янв.2027 вс
  POPL 2027 — 44-й симпозиум ACM SIGPLAN по принципам языков программирования

  RocqPL 2027 — Rocq for Programming Languages

  Mexico City, МексикаОфлайнПлатно

  Наука
• 10–16 янв.2027 вс
  CPP 2027 — Сертифицированные программы и доказательства

  CPP 2027 — Certified Programs and Proofs

  Mexico City, МексикаОфлайнНе указана

  НаукаИИ и машинное обучение
• 10–16 янв.2027 вс
  VMCAI 2027 — Верификация, проверка моделей и абстрактная интерпретация

  VMCAI 2027 — Verification, Model Checking & Abstract Interpretation

  Mexico City, МексикаОфлайнНе указана

  НаукаТестирование
• 10–16 янв.2027 вс
  TPSA 2027 — Теория и практика статического анализа программ

  TPSA 2027 — Theory and Practice of Static Analysis

  Mexico City, МексикаОфлайнНе указана

  ТестированиеНаука
• 10–16 янв.2027 вс
  FRIDA 2027 — Формальные рассуждения в распределённых алгоритмах

  FRIDA 2027 — Formal Reasoning in Distributed Algorithms

  Mexico City, МексикаОфлайнНе указана

  НаукаБэкенд
• 10–16 янв.2027 вс
  PLMW @ POPL 2027 — воркшоп по наставничеству в области языков программирования

  PLMW @ POPL 2027 — PL Mentoring Workshop

  Mexico City, МексикаОфлайнНе указана

  Наука
• 16 янв.2027 сб
  POPL 2027

  Sun 10 - Sat 16 January 2027 Mexico City, МексикаОфлайнНе указана

  Наука