POPL 2026 Call for Participation - Early registration: 12 December
Ningning Xie <[email protected]> Fri, 31 Oct 2025 10:07:27 -0400
| 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 | <CABjRk3m7YyuBgZjoPEgPrWsN48YxQzGGuU45gkkaJPh=-a0ayw@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 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 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