Talks and presentations

Context-aware Trace Contracts

August 08, 2023

Talk, KeY Workshop 2023, Bergen, Norway

The slides for this talk presenting current activities around digital twins at IFI are available here.

Digital Twins for Ecosystems

June 28, 2023

Talk, Green Data Lab Conference, ├ůs, Norway

The slides for this talk presenting current activities around digital twins at IFI are available here.

Semantically Lifted Programming

September 16, 2022

Talk, TCS Seminar, KTH, Stockholm, Sweden

The slides for this talk about a semiotic view on naturalness in formal methods are available here.

Knowledge Structures over Simulation Units

July 19, 2022

Conference proceedings talk, ANNSIM, online

The slides for this talk about the use of semantic lifting to reason about the connections between simulation units are available here.