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
- January 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 that projects are being funded under it, the specific grant name, grantee institution, funder identifier, and date cannot be verified from this excerpt. The source discusses the programme structure and TA1's objectives but does not list individual funded projects or their details. The funder identifier 'XqjV4mbMXQ' does not appear in the source text.
Case № HG9VPbcq6rFiled 4/13/2026Confidence 95%