All eventsSymposiumPOPL’26ACM SIGPLAN Symposium on Principles of Programming LanguagesRennes, France·January 11 – 17, 2026SemanticsTypesStar this eventAdd to calendarIncludesTPSATheory and Practice of Static AnalysisJan 11 – 17, 2026VMCAIConference on Verification, Model Checking, and Abstract InterpretationJan 11 – 17, 2026PEPMWorkshop on Partial Evaluation and Program ManipulationJan 13, 2026WITSWorkshop on the Implementation of Type SystemsJan 17, 2026Last updated May 17, 2026