Science — Mexico

Upcoming events (10)

10 – 16 Jan2027 Sun
WAVE 2027 — Workshop on Auto-active Verification
Mexico City, MexicoIn personNot specified
Science QA & Testing
10 – 16 Jan2027 Sun
PAgE 2027 — Principles Of Agentic Engineering
Mexico City, MexicoIn personNot specified
AI & ML Science
10 – 16 Jan2027 Sun
PEPM 2027 — Partial Evaluation and Program Manipulation
Mexico City, MexicoIn personNot specified
Science
10 – 16 Jan2027 Sun
RocqPL 2027 — Rocq for Programming Languages
Mexico City, MexicoIn personPaid
Science
10 – 16 Jan2027 Sun
CPP 2027 — Certified Programs and Proofs
Mexico City, MexicoIn personNot specified
Science AI & ML
10 – 16 Jan2027 Sun
VMCAI 2027 — Verification, Model Checking & Abstract Interpretation
Mexico City, MexicoIn personNot specified
Science QA & Testing
10 – 16 Jan2027 Sun
TPSA 2027 — Theory and Practice of Static Analysis
Mexico City, MexicoIn personNot specified
QA & Testing Science
10 – 16 Jan2027 Sun
FRIDA 2027 — Formal Reasoning in Distributed Algorithms
Mexico City, MexicoIn personNot specified
Science Backend
10 – 16 Jan2027 Sun
PLMW @ POPL 2027 — PL Mentoring Workshop
Mexico City, MexicoIn personNot specified
Science
16 Jan2027 Sat
POPL 2027
Sun 10 - Sat 16 January 2027 Mexico City, MexicoIn personNot specified
Science