From: Ningning Xie <xnningxie@gmail.com>
To: caml-list@inria.fr, agda@lists.chalmers.se,
haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu,
coq-club@inria.fr
Subject: [Caml-list] POPL 2026 Second Call for Participation - Early registration: 12 December
Date: Mon, 8 Dec 2025 11:11:44 -0500 [thread overview]
Message-ID: <CABjRk3=bhBewPbiqVOX_N5zDSVXu9dxn3q5zuJ_Bvn5X+YFv9A@mail.gmail.com> (raw)
[-- 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 --]
reply other threads:[~2025-12-08 16:12 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CABjRk3=bhBewPbiqVOX_N5zDSVXu9dxn3q5zuJ_Bvn5X+YFv9A@mail.gmail.com' \
--to=xnningxie@gmail.com \
--cc=agda@lists.chalmers.se \
--cc=caml-list@inria.fr \
--cc=coq-club@inria.fr \
--cc=haskell-cafe@haskell.org \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox