Science — Mexico City
Upcoming events (9)
January 2027
- 2027 SunWAVE 2027 — Workshop on Auto-active VerificationMexico City, MexicoIn personNot specified
- 2027 SunPAgE 2027 — Principles Of Agentic EngineeringMexico City, MexicoIn personNot specified
- 2027 SunPEPM 2027 — Partial Evaluation and Program ManipulationMexico City, MexicoIn personNot specified
- 2027 SunRocqPL 2027 — Rocq for Programming LanguagesMexico City, MexicoIn personPaid
- 2027 SunCPP 2027 — Certified Programs and ProofsMexico City, MexicoIn personNot specified
- 2027 SunVMCAI 2027 — Verification, Model Checking & Abstract InterpretationMexico City, MexicoIn personNot specified
- 2027 SunTPSA 2027 — Theory and Practice of Static AnalysisMexico City, MexicoIn personNot specified
- 2027 SunFRIDA 2027 — Formal Reasoning in Distributed AlgorithmsMexico City, MexicoIn personNot specified
- 2027 SunPLMW @ POPL 2027 — PL Mentoring WorkshopMexico City, MexicoIn personNot specified