# Travel: Oregon Programming Languages Summer School 2025: Types, Logic, and Formal Methods

> **NSF 01002526DB NSF RESEARCH & RELATED ACTIVIT** · University of Oregon Eugene (OR) · $20,000

## Abstract

This award provides student travel for the 2025 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, Logic, and Formal Methods". The significance and importance of the summer school include instruction on how to build and reason about reliability and correctness of computing systems; enhancing education of US students by exposure to and interaction with leading-edge research and researchers; and building international community and cooperation in foundational research areas. By supporting US-based students, the school will thus train the next generation of researchers and practitioners in both industry and academia.

This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

## Key facts

- **NSF award ID:** 2526419
- **Awardee organization:** University of Oregon Eugene (OR)
- **SAM.gov UEI:** Z3FGN9MF92U2
- **PI:** Zena M Ariola
- **Primary program:** 01002526DB NSF RESEARCH & RELATED ACTIVIT
- **All programs:** CONFERENCE AND WORKSHOPS, PROGRAMMING LANGUAGES
- **Estimated total:** $20,000
- **Funds obligated:** $20,000
- **Transaction type:** Standard Grant
- **Period:** 07/01/2025 → 03/31/2026

## Primary source

NSF Award Search: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2526419

## Citation

> US National Science Foundation, Award 2526419, Travel: Oregon Programming Languages Summer School 2025: Types, Logic, and Formal Methods. Retrieved via AI Analytics 2026-06-07 from https://api.ai-analytics.org/grant/nsf/2526419. Licensed CC0.

---

*[NSF Awards dataset](/datasets/nsf-awards) · CC0 1.0*