Наука — Mexico City
Ближайшие мероприятия (9)
Январь 2027 г.
- 2027 всWAVE 2027 — Мастерская по автоматической активной верификацииWAVE 2027 — Workshop on Auto-active VerificationMexico City, МексикаОфлайнНе указана
- 2027 всPAgE 2027 — Принципы агентной разработкиPAgE 2027 — Principles Of Agentic EngineeringMexico City, МексикаОфлайнНе указана
- 2027 всPEPM 2027 — Частичная оценка и манипуляция программамиPEPM 2027 — Partial Evaluation and Program ManipulationMexico City, МексикаОфлайнНе указана
- 2027 всPOPL 2027 — 44-й симпозиум ACM SIGPLAN по принципам языков программированияRocqPL 2027 — Rocq for Programming LanguagesMexico City, МексикаОфлайнПлатно
- 2027 всCPP 2027 — Сертифицированные программы и доказательстваCPP 2027 — Certified Programs and ProofsMexico City, МексикаОфлайнНе указана
- 2027 всVMCAI 2027 — Верификация, проверка моделей и абстрактная интерпретацияVMCAI 2027 — Verification, Model Checking & Abstract InterpretationMexico City, МексикаОфлайнНе указана
- 2027 всTPSA 2027 — Теория и практика статического анализа программTPSA 2027 — Theory and Practice of Static AnalysisMexico City, МексикаОфлайнНе указана
- 2027 всFRIDA 2027 — Формальные рассуждения в распределённых алгоритмахFRIDA 2027 — Formal Reasoning in Distributed AlgorithmsMexico City, МексикаОфлайнНе указана
- 2027 всPLMW @ POPL 2027 — воркшоп по наставничеству в области языков программированияPLMW @ POPL 2027 — PL Mentoring WorkshopMexico City, МексикаОфлайнНе указана