NSF award 2615477 · University of Oregon Eugene
Travel: Oregon Programming Languages Summer School 2026: Types, Proofs, and Program Logics
Final report due
30 March 2027
in 163 days · The award ends on 30 November 2026.
GrantClerk is a private service. We are not NSF or any government agency.
Dates this award owes
NSF emails you about this too.
- No-cost extension notice20 Nov 2026in 33 days
award ending 2026-11-30 · Research.gov
- Final report due30 Mar 2027in 163 days
award ending 2026-11-30 · Research.gov
- Project outcomes report due30 Mar 2027in 163 days
award ending 2026-11-30 · Research.gov
- Award is closed out30 Mar 2027in 163 days
award ending 2026-11-30 · Research.gov
Annual report dates come from the budget period on your award notice. That date is not public, so it is not shown here.
How we got this date
- NSF lists this award's end date as 30 November 2026.
- NSF rules say the final report is due no later than 120 days after that.
- So the final report is due by 30 March 2027.
Get a note before each report date
Add this award to your desk. We email you before each date and keep the dates in one place.
Renews each year until you cancel. Cancel any time from your account.
Award card
- Award number
- 2615477
- Period of support
- 15 Mar 2026 – 30 Nov 2026
- Amount
- $20,000
- Awardee
- University of Oregon Eugene, Eugene, OR
- Program
- Software & Hardware Foundation
- Directorate
- CSE
Abstract
This award provides student travel for the 2026 Oregon Programming Languages Summer School (OPLSS) to be held at the University of Oregon. This summer school provides an important and valuable educational opportunity for students to study foundational topics related to programming languages and verification. The focus of this year's school is "Types, Proofs, and Program Logic". The significance and importance of the…
Is this right?
We copy this from the public NSF award record. Your award notice and NSF always win. If a date looks wrong, check Research.gov.
More awards at University of Oregon Eugene
- Planning: NSF FF: Planning: Promoting Success in Algebra by Integrating Best Practices in Small-Group Learning with AIAward 2627571
- Flexibility and Rigidity in Dynamics and GeometryAward 2552860
- I-Corps: Translation potential of a wound care technology that combines hydrogel-like biomaterial with specific protein binders to accelerate healing and tissue repairAward 2638668
- Expanding the Supramolecular Chemistry of Carbon NanohoopsAward 2506025
- Postdoctoral Fellowship: EAR-PF: Temporal Discretization and Areal Metrics for Revealing Statistically Powerful Patterns in Volcanic ProcessesAward 2518495
- CC* Strategy-Region: Cyberinfrastructure Alliance for Oregon (CIAO)Award 2503219
- NQVL:QSTD:Design: Attosecond Synchronized Photonic Entanglement Network (ASPEN-Net)Award 2547582
- Collaborative Research: Estimating shallow shear-wave velocity in basins throughout the Pacific Northwest: an imperative for accurate ground motion predictionAward 2452242