[Caml-list] POPL 2026 Second Call for Participation - Early registration: 12 December

[Caml-list] POPL 2026 Second Call for Participation - Early registration: 12 December

[Ningning Xie]

[-- Attachment #1: Type: text/plain, Size: 1337 bytes --]

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

               Call for Participation
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026)
   January 11-17, 2026, Rennes, France.
            https://popl26.sigplan.org/

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

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

- Register here: https://popl26.sigplan.org/attending/registration

- The POPL program:
https://popl26.sigplan.org/track/POPL-2026-popl-research-papers

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

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://popl26.sigplan.org/

[-- Attachment #2: Type: text/html, Size: 1717 bytes --]