Grant

Grant: ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets (Advanced Research and Invention Agency (ARIA) -> Tallinn University of Technology)

Profile page →

confirmed95% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

Evidence — 1 source, 2 checks

www.aria.org.uk/programme-safeguarded-ai/ARIA(2 checks)

confirmed95%deterministic-row-match · 4/3/2026

Found: Matched row: {"grantee":"Tallinn University of Technology","focusArea":"TA1.1","name":"Syntax and Semantics for Multimodal Petri Nets","description":"Tallinn University of Technology","status":"active…

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable85%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme with Technical Area 1 (TA1) mentioned as a focus area, but does not specifically mention or list individual TA1 projects, their names, dates, gra…

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses its general objectives (building an extendable language and platform for formal world models), it does not provide specific information about individual funded projects within TA1, their names, funding dates, or recipient institutions. The record's specific claims about this particular grant cannot be verified or contradicted from the provided source text.

Debug info

Record type: grant

Record ID: SSC33bGJtj