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
Our picks for ACM-SIGACT Symposium on Principles of Programming Languages attendees
A curated selection of hotels chosen for location, value, and fit for conference travellers.
Garden Hotel
3 Rue Jean Marie Duhamel, 35000 Rennes, France
The hotel is in the very heart of Rennes, with its own car park and close to the station, bus services and...
Hôtel Atlantic
31 Bd de Beaumont, 35000 Rennes, France
Located in the immediate vicinity of the SNCF train station and the bus station. The privileged localisation of the Atlantic is its...
Hôtel Lanjuinais
11 Rue Comté de Lanjuinais, 35000 Rennes, France
Located in the center of Rennes, Hôtel Lanjuinais is 689 feet from Place de la République and 1148 feet from République Metro...
Kyriad Rennes Centre Gare
6 Pl. de la Gare, 35000 Rennes, France
Situated in central Rennes, opposite the SNCF train station, it is conveniently located for the historic city centre, Parlement of Brittany building...
Mercure Rennes Centre Parlement
1 Rue Paul Louis Courier, 35000 Rennes, France
In the heart of the city of Rennes, close to the historic center and its shops, the hotel offers easy transport access...
Novotel Rennes Centre Gare
22 Av. Jean Janvier, 35000 Rennes, France
In the very centre of Rennes, only 50 metres from the railway station, Novotel Rennes Centre Gare is a modern hotel with...