POPL is the longest-running conference in programming languages and one of the most prestigious. Our community has produced foundational ideas that have shaped computing for decades, including type systems, program synthesis, theorem proving, static analysis, and verified systems. These ideas have influenced technologies used by millions of developers, from programming languages such as Rust and OCaml to proof assistants such as Lean and Rocq, verified compilers and cryptographic libraries, and emerging AI systems. Our community educates the top students in the field, many of whom go on to work in industry. Financial support from corporate sponsors and philanthropic organizations ensures that POPL remains accessible to a broad set of participants by subsidizing student attendance, promoting community mentoring, and underwriting social events.
POPL also hosts a wide variety of affiliated events, including several workshops and a range of tutorials. In particular, POPL is co-located with the Programming Languages Mentoring Workshop (PLMW), which brings top undergraduate and early-stage graduate students to the conference for a one-day workshop focused on technical and career mentoring.
This year, we are highlighting multiple kinds of support for the conference. Please let us know how you would like us to apply your support, as funds can be allocated to the POPL main conference, the PLMW workshop, or both. We have identified specific benefits below.
- POPL Main Support: POPL main support funds are used to decrease registration costs, support student volunteers and underwrite various social events.
- Non-Profits and Early-Stage Companies: To encourage closer interaction between the POPL community and industry, we offer discounts on sponsorship for the POPL Main Conference for early-stage companies. The discounts apply to Bronze, Silver, and Gold sponsorships. The benefits are the same as for the corresponding packages, but early-stage sponsors are explicitly labeled as such. To benefit from the discount, the organization must be a non-profit or an early-stage startup
- Women@POPL Support: This funding will be used to cover the costs of organizing a dinner for women who attend POPL.
- Accessibility Support: This funding will be used to cover the costs of a professional captioner for the videos that will be produced from POPL talks.
- POPL Reception Support: This funding will be used to cover the costs of the reception dinner. Several sponsors can support the reception.
- Carbon Offset Support: Organizing a conference imposes significant environmental costs. POPL, which has brought researchers together from all over the world for several decades, has had a significant impact on the environment. We are looking for a sponsor to offset the current and historical carbon costs of the conference.
- Open Access Support: By the end of 2027, ACM will transition to the “ACM Open” model, where all ACM publications are available freely from the Digital Library. But the costs do not go away! We are looking for a sponsor to offset the costs of open access, to help ensure that all of POPL’s work is freely disseminated.
- PLMW Mentoring Support: PLMW mentoring support funds provide assistance for students, especially women and underrepresented minorities, to attend both POPL and PLMW. All funds designated for PLMW mentoring sponsorship will be transferred directly to the PLMW @ POPL organization.
Support levels for the main conference, carbon offsets, open access support, and the PLMW support levels are summarized in the two tables below.
POPL Support Levels
| POPL Support Level | Bronze | Silver | Women@POPL | Accessibility | Gold | POPL Reception | Platinum | Carbon Offset | Open Access |
|---|---|---|---|---|---|---|---|---|---|
| Amount | $3,000 | $6,000 | $6,000 | $6,000 | $10,000 | $10,000 | $15,000 | $25,000 | $25,000 |
| Amount (non-profit) | $1,000 | $1,200 | N/A | N/A | $5,000 | N/A | $10,500 | N/A | N/A |
| Logo on website | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ |
| Printed material at the registration desk | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | |
| Dinner for women at POPL | ✅ | ||||||||
| Video Captioning | ✅ | ||||||||
| Complimentary registrations | 2 | 2 | 3 | 3 | 3 | ||||
| Branded merchandise | ✅ | ✅ | ✅ | ✅ | ✅ | ||||
| Booth table | ✅ | ✅ | ✅ | ✅ | ✅ | ||||
| 5 min pitch talk at reception | ✅ | ||||||||
| Lanyards, badge ribbons, banner on stage | ✅ | ✅ | ✅ | ||||||
| Sponsor name for 1 social event | ✅ | ✅ | ✅ | ||||||
| 5 min pitch talk at social event | ✅ | ✅ | ✅ | ||||||
| Subsidize Carbon Offsetting | ✅ | ||||||||
| Subsidize Open Access | ✅ | ||||||||
| Special thanks in PACM journal | ✅ | ✅ |
Detailed descriptions of the listed benefits for POPL support levels:
- Logo on website: The logo will be displayed on the POPL 2027 website.
- Printed material at registration desk: Opportunity to display printed materials at the registration desk.
- Dinner for women at POPL: This funding will be used to cover the costs of organizing a dinner for women who attend POPL.
- Video captioning: This funding will be used to cover the costs of a professional captioner for the videos that will be produced from POPL talks.
- Complimentary registrations: number of free registrations for the POPL conference.
- Branded merchandise: An opportunity to include branded merchandise in participants’ swag bags, such as a T-shirt, for example, if desired.
- Booth table: A table in the conference common area during POPL proper where, if you wish, you can display publicity material, distribute handouts, talk to potential recruits, or demo software.
- 5-minute pitch talk at reception: An opportunity to give a short (5 min) pitch talk at the conference reception.
- Lanyards, badge ribbons, banner on stage: Opportunity to supply participant lanyards, badge ribbons, or a banner on stage carrying the supporter logo.
- Sponsor name for one social event: There are three social hours associated with POPL, one at the end of each day. On a first-come, first-served basis, each of the social hours may be associated with the name of a platinum supporter.
- 5-minute pitch talk at social event: A representative from the supporting company will be granted five minutes at the beginning of the branded social hour to make a few comments to the attendees.
- Subsidize Carbon Offsetting: Funds in excess of the platinum level will be used to purchase carbon offsets. If you are interested in supporting carbon offsets at POPL, please discuss logistics with the POPL industrial relations chair.
- Subsidize Open Access: Funds in excess of the platinum level will be used to subsidize open access. If you are interested in supporting open access at POPL, please discuss logistics with the POPL industrial relations chair.
- Special thanks in PACM journal: A special thanks in the PACM journal issue for helping minimize the climate impact of POPL 2027 (Carbon Offset support), or for helping freely disseminate POPL papers (Open Access support).
PLMW Mentoring Support Levels
| PLMW support level | Silver | Gold | Platinum |
|---|---|---|---|
| Amount | $2,500 | $5,000 | $7,500 |
| Funded students | 2 | 4 | 6 |
| Logo on PLMW website | ✅ | ✅ | ✅ |
| Logo projected during breaks | ✅ | ✅ | ✅ |
| Booth table | ✅ | ✅ | |
| Reserved table at PLMW at mentoring events | ✅ | ||
| Additional arrangements based on specific needs and interests | ✅ |
Detailed descriptions of the listed benefits for PLMW support levels (mentoring workshop):
- Funded students: the approximate number of students that this support level can fund to attend POPL 2027.
- Logo on PLMW website: The logo of the company will be displayed on the PLMW@POPL website.
- Logo projected during breaks: The logo of the company will be displayed during breaks at the PLWM workshop.
- Booth table: A table in the conference common area during PLMW where, if you wish, you can display publicity material, distribute handouts, talk to potential recruits, or demo software.
- Reserved table at PLMW at mentoring events: An opportunity to interact with students at the POPL 2027 mentoring events, if provided. For example, at POPL, there are three mentoring breakfasts, one at the beginning of each conference day. PLMW platinum supporters will be given a designated table at one of the breakfast days, clearly identifying the company to provide networking opportunities with students attending the conference.
- Additional arrangements based on specific needs and interests: Please contact the industrial relations chairs and the general chair for specific needs.
Contact
Questions about how to contribute may be directed to Benoît Montagu (benoit.montagu@inria.fr) and Gagandeep Singh (ggnds@illinois.edu), the POPL Industrial Relations Chairs. We will be happy to chat about any questions you have over the phone (or Zoom/Skype/Hangouts/FaceTime/Teams/Chime/etc.).
Thank you for your time and especially for your generosity!