DART

Formal Methods meet Digital Twins: Challenges and Opportunities
Unifying Speaker, ETAPS 2026
14 April 2026 9:00 AM — 10:00 AM Turin, Italy
Project Project
Formal Methods meet Digital Twins: Challenges and Opportunities
Oslofjordens digitale tvilling
Invited talk, Oslofjord Triennale Symposium
18 November 2025 7:25 PM — 7:40 PM Oslofjordmuseet, Vollen, Asker
Project Project
Oslofjordens digitale tvilling
Digital Twins & the Natural Environment
Invited talk, JusTN0W – 2nd Annual Intl Conf on Just Transitions to a Net Zero World
9 October 2025 2:05 PM — 2:25 PM Durham, UK
Project
Digital Twins & the Natural Environment
DART Hackathon 2025
A UArctic network project 2024-2026.
DART, Digital Twins
Project