Index
Grant: ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets (Advanced Research and Invention Agency (ARIA) → Tallinn University of Technology)
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
Our claim
entire record- Name
- ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Syntax and Semantics for Multimodal Petri Nets. Lead(s): Amar Hadzihasanovic, Diana Kessler. Institutions: Tallinn University of Technology. Status: active.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- Grantee
- Tallinn University of Technology
- Focus Area
- TA1.1
- Name
- Syntax and Semantics for Multimodal Petri Nets
- Description
- Tallinn University of Technology
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable85%Haiku 4.5 · 3/25/2026
NoteWhile 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.
Case № SSC33bGJtjFiled 4/13/2026Confidence 95%