| Linking domain | Status | Title | Country/Lang | Category | AI files | Contact | AI-protection |
|---|---|---|---|---|---|---|---|
| aartifact.org ↗ | 200 | Usability in Formal Verification and Aartifact | en | software-and-applications | robotsllmsaihumans | emailphone | none |
| data-mechanics.org ↗ | 200 | Data Mechanics | en | technology-and-computing | robotsllmsaihumans | emailphone | none |
| multiparty.org ↗ | 200 | Multi-Party Computation: Scalability and Accessibility | en | information-and-network-security | robotsllmsaihumans | emailphone | none |