Metadata
| Source Table | funding_programs |
| Source ID | VpM42-Oye3 |
| Description | 22 projects on mathematical representations and formal semantics for world-models, specifications, and proofs. Covers category theory, probabilistic logic, string diagrams, and verification foundations. |
| Parent | Advanced Research and Invention Agency (ARIA) |
| Children | — |
| Created | Mar 22, 2026, 4:03 PM |
| Updated | Mar 25, 2026, 4:44 AM |
| Synced | Mar 25, 2026, 4:44 AM |
Record Data
id | VpM42-Oye3 |
orgId | Advanced Research and Invention Agency (ARIA)(organization) |
divisionId | UO9LvMlj_x |
name | Safeguarded AI TA1.1 — Theory |
description | 22 projects on mathematical representations and formal semantics for world-models, specifications, and proofs. Covers category theory, probabilistic logic, string diagrams, and verification foundations. |
programType | solicitation |
totalBudget | 3500000 |
currency | GBP |
applicationUrl | — |
openDate | — |
deadline | — |
status | awarded |
source | www.aria.org.uk/programme-safeguarded-ai/ |
notes | GBP 3.5M Phase 1 across 22 projects. Call opened April 2024. |
Source Check Verdicts
unverifiable85% confidence
Last checked: 5/1/2026
1 → unverifiable
Debug info
Thing ID: VpM42-Oye3
Source Table: funding_programs
Source ID: VpM42-Oye3
Parent Thing ID: sid_XqjV4mbMXQ