ACM-SIGACT Symposium on Principles of Programming Languages — 2026
January 11-17, 2026
Le Couvent des JacobinsRennes, France
Important Dates
| Submission deadline | July 10, 2025 |
| Notification of acceptance | October 2, 2025 |
CORE Ranking A*
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation, or application of programming languages.
Venue
Le Couvent des Jacobins
20 Pl. Sainte-Anne, 35000 Rennes, France
🔗 View full venue details
Certified Programs and Proofs
Auto-Active Program Verification
Languages for Inference
Partial Evaluation and Program Manipulation
Programming Quantum Computers
Principles of Secure Compilation
Rocq for Programming Languages
Theory and Practice of Static Analysis
Verification, Model Checking & Abstract Interpretation Workshops
Implementation of Type Systems
Hotels and Hostels near Le Couvent des Jacobins
Garden Hotel
3 Rue Jean Marie Duhamel, 35000 Rennes, France
Hôtel Atlantic
31 Bd de Beaumont, 35000 Rennes, France
Hôtel Lanjuinais
11 Rue Comté de Lanjuinais, 35000 Rennes, France
Kyriad Rennes Centre Gare
6 Pl. de la Gare, 35000 Rennes, France
Mercure Rennes Centre Parlement
1 Rue Paul Louis Courier, 35000 Rennes, France
Novotel Rennes Centre Gare
22 Av. Jean Janvier, 35000 Rennes, France