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 |
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
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal...
Auto-Active Program Verification
There is an established group of verification-aware programming languages that have native support for specifications and proofs, and are equipped...
Languages for Inference
The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages...
Partial Evaluation and Program Manipulation
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has...
Programming Quantum Computers
The Sixth International Workshop on Programming Languages for Quantum Computing (PLanQC 2026) aims to bring together researchers from the fields...
Principles of Secure Compilation
Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabilities like...
Rocq for Programming Languages
The goal of this workshop is to provide an opportunity for programming languages researchers and practitioners with an interest in...
Theory and Practice of Static Analysis
This workshop provides a venue where researchers and practitioners can present speculative ideas about new analysis techniques. Since it is...
Verification, Model Checking & Abstract Interpretation Workshops
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and...
Implementation of Type Systems
The goal of this workshop is to bring together the implementors of a variety of languages with advanced 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...
