Skip to content
Longterm Wiki

ARIA TA1.1: True Categorical Programming for Composable Systems

grantFailed source check

Metadata

Source Tablegrants
Source IDhVGwZX8_Ke
Descriptionto GLAIVE, 2024-06
Source URLwww.aria.org.uk/programme-safeguarded-ai/
ParentAdvanced Research and Invention Agency (ARIA)
Children
CreatedMar 22, 2026, 5:09 PM
UpdatedMar 22, 2026, 6:25 PM
SyncedMar 22, 2026, 6:25 PM

Record Data

idhVGwZX8_Ke
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-06
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

unverifiable85% confidence

Last checked: 6/15/2026

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

Debug info

Thing ID: hVGwZX8_Ke

Source Table: grants

Source ID: hVGwZX8_Ke

Parent Thing ID: sid_XqjV4mbMXQ