[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=======================================
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$
