Grant SSC33bGJtj
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
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 · 3 checks- 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)
NoteQUA-650 retro-scan: The claim is about a specific grant (TA1.1: Syntax and Semantics for Multimodal Petri Nets) from ARIA to Tallinn University of Technology, while the source is about the Safeguarded AI programme within ARIA. Per QUA-648, a specific programme within an organization counts as a MISMATCH from the parent organization itself, as they are distinct entities with different scopes and objectives.
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.