POPL 2025 Call for Participation (January 19-25, Denver, Colorado)
Ningning Xie <[email protected]> Tue, 7 Jan 2025 11:21:48 -0500
| Newsgroups | gmane.comp.lang.agda,gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.haskell.cafe,gmane.comp.science.types.announce |
|---|---|
| Message-ID | <CABjRk3=dRnBAr5FuK0XuaZ-6DT3n-GmvaP1RP0u5P_mDcBKhcw@mail.gmail.com> |
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 _______________________________________________ Agda mailing list [email protected] https://lists.chalmers.se/mailman/listinfo/agda