iFM 2024
19th International Conference on Integrated Formal Methods (iFM 2024)
FM 2024
26th Intl. Symposium on Formal Methods (FM 2024)
FASE 2024
27th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2024)
En digital tvilling for Oslofjorden
Oslofjord Citizen Science Evening
Digital Twins: An Emerging Paradigm for Self-Adaptive Model-Centric Systems
OASIS seminar


FAACS 2022
6th Intl. Workshop on Formal Approaches for Advanced Computing System (FAACS 2022)
Digital Twins and HPC
Invited talk, Data@UiO