[TYPES/announce] POPL 2026 Second Call for Participation - Early registration: 12 December

[Ningning Xie]

=======================================

               Call for Participation
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026)
   January 11-17, 2026, Rennes, France.
            https://urldefense.com/v3/__https://popl26.sigplan.org/__;!!IBzWLUs!U9tinDjvzwcw1YeGz5S3czJ2k9HDbs_2d7_7OLNyKmIJCN3cB_anHuLYjg8tfQ6jkoFaDcWBmjDd98JKE2a8w4Gh05qDeRkr$ 

=======================================

- Early registration deadline: ** 12 December 2025 **

- Register here: https://urldefense.com/v3/__https://popl26.sigplan.org/attending/registration__;!!IBzWLUs!U9tinDjvzwcw1YeGz5S3czJ2k9HDbs_2d7_7OLNyKmIJCN3cB_anHuLYjg8tfQ6jkoFaDcWBmjDd98JKE2a8w4Gh07wovvxz$ 

- The POPL program:
https://urldefense.com/v3/__https://popl26.sigplan.org/track/POPL-2026-popl-research-papers__;!!IBzWLUs!U9tinDjvzwcw1YeGz5S3czJ2k9HDbs_2d7_7OLNyKmIJCN3cB_anHuLYjg8tfQ6jkoFaDcWBmjDd98JKE2a8w4Gh0-rRRXvU$ 

=======================================

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://urldefense.com/v3/__https://popl26.sigplan.org/__;!!IBzWLUs!U9tinDjvzwcw1YeGz5S3czJ2k9HDbs_2d7_7OLNyKmIJCN3cB_anHuLYjg8tfQ6jkoFaDcWBmjDd98JKE2a8w4Gh05qDeRkr$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251208/167cbec6/attachment.htm>