Modal homotopy type theory in agda for modeling complex systems
Ended Project Grant Awarded Last action
- Award ID
- W911NF2110318
- Recipient
-
Goteborgs Universitet UEI JAJDAANS2CM3
- Awarding agency
-
ACC Aberdeen Proving Ground
Army Contracting Command, Department of Defense
- Obligated
- $360,000
Award facts
- Assistance listing
- 12.431 Basic Scientific Research
- Completion date
- Funding agency
- Research Development and Engineering Command Army Materiel Command, Department of Defense
- Place of performance
- Sweden
Award details come from USAspending.gov.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Amendment | $75,400 | |
| Amendment | $35,000 | |
| Amendment | $64,600 | |
| Amendment | $65,000 | |
| Amendment | $70,000 | |
| Original award | $50,000 |
Quick answers
Who received award W911NF2110318?
W911NF2110318 was awarded to Goteborgs Universitet by ACC Aberdeen Proving Ground (Army Contracting Command) on June 21, 2021.
How much is award W911NF2110318 worth?
$360,000 has been obligated on W911NF2110318.
Which agency awarded W911NF2110318?
ACC Aberdeen Proving Ground (Army Contracting Command) awarded W911NF2110318, with funding from Research Development and Engineering Command (Army Materiel Command).
On GovTribe
See this award's full record
- Every transaction and subaward
- The recipient's other awards and teaming partners
- Similar grant awards
- Ask GovTribe AI about this award