Skip to content
Longterm Wiki

ARIA TA1.1: True Categorical Programming for Composable Systems

grantFailed source check

Metadata

Source Tablegrants
Source IDoujE6VM6b_
Descriptionto GLAIVE, 2024-01
Source URLwww.aria.org.uk/programme-safeguarded-ai/
ParentAdvanced Research and Invention Agency (ARIA)
Children
CreatedMar 22, 2026, 4:04 PM
UpdatedMar 22, 2026, 4:04 PM
SyncedMar 22, 2026, 4:04 PM

Record Data

idoujE6VM6b_
organizationIdAdvanced Research and Invention Agency (ARIA)(organization)
granteeIdGLAIVE
orgEntityIdAdvanced Research and Invention Agency (ARIA)(organization)
orgDisplayName
granteeEntityId
granteeDisplayName
nameARIA TA1.1: True Categorical Programming for Composable Systems
amount
currencyGBP
period
date2024-01
status
sourcewww.aria.org.uk/programme-safeguarded-ai/
notes[Safeguarded AI TA1.1] True Categorical Programming for Composable Systems. Lead(s): Jade Master, Zans Mihejevs, Andre Videla, Dylan Braithwaite. Institutions: GLAIVE. Status: closed.
programIdVpM42-Oye3
dataSourceId

Source Check Verdicts

unverifiable95% confidence

Last checked: 6/15/2026

1 → unverifiable; stale (excluded): 1 → confirmed, 1 → partial

Debug info

Thing ID: oujE6VM6b_

Source Table: grants

Source ID: oujE6VM6b_

Parent Thing ID: sid_XqjV4mbMXQ