POPL 2026 Second Call for Participation - Early registration: 12 December

Ningning Xie <[email protected]> Mon, 8 Dec 2025 11:11:44 -0500

Newsgroups	gmane.comp.lang.agda,gmane.comp.lang.caml.inria,gmane.comp.lang.haskell.cafe,gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club
Message-ID	<CABjRk3=bhBewPbiqVOX_N5zDSVXu9dxn3q5zuJ_Bvn5X+YFv9A@mail.gmail.com>

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

               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/

_______________________________________________
Agda mailing list
[email protected]
https://lists.chalmers.se/mailman/listinfo/agda