======================================= Call for Participation ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026) January 11-17, 2026, Rennes, France. https://popl26.sigplan.org/ ======================================= - Early registration deadline: ** 12 December 2025 ** - Register here: https://popl26.sigplan.org/attending/registration - The POPL program: https://popl26.sigplan.org/track/POPL-2026-popl-research-papers ======================================= The 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026) is a forum for the discussion of all aspects of programming languages and programming systems. Location: le Couvent des Jacobins, 20 place Saint-Anne, 35000 Rennes, France Dates: - Main conference: Wed 14 - Fri 16 January - Workshops, tutorials, co-located events: Sun 11, Mon 12, Tue 13 and Sat 17 January Keynote Speakers: - Damien Pous, CNRS, Medium-scale automation for proof assistants - Caroline Trippel, Stanford University, Hardware-Software Contracts for High Assurance with Applications to Side-Channel Security Organizers: - General Chair: Sandrine Blazy, University of Rennes - PC Chair: Suresh Jagannathan, Purdue University Full details of the conference and co-located events: https://popl26.sigplan.org/