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 formal-verification foundations. |
| Parent | Advanced Research and Invention Agency (ARIA) |
| Children | — |
| Created | Mar 22, 2026, 4:03 PM |
| Updated | Jun 4, 2026, 11:23 AM |
| Synced | Jun 4, 2026, 11:23 AM |
Record Data
id | VpM42-Oye3 |
orgId | Advanced Research and Invention Agency (ARIA)(organization) |
divisionId | UO9LvMljnx |
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 formal-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