πŸ—‚οΈ

Archived grant β€” no longer open

This grant has closed and is kept as a historical reference. Browse current grants for active opportunities.

grant

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

Organization University of Oregon EugeneLocation EUGENE, United StatesPosted 1 Jul 2025Deadline 31 Mar 2026 ⚠️
NSFUS FederalResearch GrantScience FoundationOR

Applications closed.

Description preview

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…

πŸ”’

Full details available on the Agency plan

Unlock the complete grant description, eligibility criteria, contract value, evaluation details and apply link β€” plus alerts, pipeline tracking, and CSV export.

Start 7-day free trial β€” $29.99/mo β†’

Agency Plan

7-day free trial

Unlock procurement & grants

Upgrade to access active tenders from World Bank, UNDP, ADB and more β€” with email alerts and pipeline tracking.

$29.99 / month

  • πŸ””Email alerts for new matching tenders
  • πŸ—‚οΈTrack tenders in your pipeline
  • πŸ’°Filter by contract value
  • πŸ“₯Export results to CSV
  • πŸ“ŒSave searches with one click
Start 7-day free trial β†’
Travel: Oregon Programming Languages Summer School 2025: Types, Logic, and Formal Methods β€” University of Oregon Eugene | Dev Procure