Federal contract award
FA875020C0520
SYMLANG: AN INVARIANT DRIVEN APPROACH TO SOFTWARE VIA SYMMETRIES
Award details
Obligations, current value and potential value describe different measures; they are never added together.
| Field | Reported value |
|---|---|
| Agency | Department of Defense |
| Office | FA8750 AFRL RIK |
| NAICS | 541715 — Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) |
| PSC | AD92 — OTHER DEFENSE - APPLIED RESEARCH/EXPLORATORY DEVELOPMENT |
| Parent award / vehicle | Not reported |
| Set-aside | NO SET ASIDE USED. |
| Pricing type | COST PLUS FIXED FEE |
| Obligations | $13.6M |
| Current contract value | $13.6M |
| Potential contract value / ceiling | $13.6M |
| Start date | Jun 26, 2020 |
| Current end date | Apr 9, 2025 |
| Potential end date | Apr 9, 2025 |
| Latest award activity | Dec 12, 2024 |
| Source loaded | Aug 15, 2026 |
Funding and modification history
Showing the latest 1 of 1 loaded transactions. Negative values are deobligations.
| Date | Modification | Obligation change | Description |
|---|---|---|---|
| Dec 12, 2024 | P00020 | $0 | SYMLANG: AN INVARIANT DRIVEN APPROACH TO SOFTWARE VIA SYMMETRIES |
Buyer contacts from matching notices
Matched on exact award/solicitation identifier and awarding agency. Source dates describe the notice, not current contact verification.
| Contact | Role | Published contact methods | Evidence | Source date |
|---|---|---|---|---|
| BAA Coordinator HR001119S0074@darpa.mil | Contact | Contact method not published | Source | Jul 10, 2019 |
Research next steps
- Check the stated set-aside against the solicitation and current certifications.
- Review the award scope and buyer evidence before making a bid/no-bid decision.