Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* [Caml-list] POPL 2025 Call for Participation (January 19-25, Denver, Colorado)
@ 2025-01-07 16:21 Ningning Xie
  0 siblings, 0 replies; only message in thread
From: Ningning Xie @ 2025-01-07 16:21 UTC (permalink / raw)
  To: caml-list, coq-club, agda, haskell-cafe, types-announce

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

The 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL
2025) will take place in January in Denver, Colorado, the United States.

It's going to be an amazing conference - don't miss it - sign up now!
https://popl25.sigplan.org/attending/registration

Location: Curtis Hotel Denver, 1405 Curtis Street, 80202, Denver, Colorado,
United States

Dates:
- Main conference: Wed 22 - Fri 24 January
- Workshops, tutorials, co-located events: Sun 19, Mon 20, Tue 21 and Sat
25 January

Accepted papers:
https://popl25.sigplan.org/track/POPL-2025-popl-research-papers

Full details of the conference and co-located events:
https://popl25.sigplan.org/

Sponsors: POPL is supported by generous sponsorship from:
- Amazon
- Jane Street
- Google DeepMind
- JetBrains
- Microsoft
- Epic
- Google
- Ahrefs

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2025-01-07 16:22 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-01-07 16:21 [Caml-list] POPL 2025 Call for Participation (January 19-25, Denver, Colorado) Ningning Xie

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox