We have 13 great accepted papers at FACS 2022, and expect 13 great corresponding talks! Congratulations to all the authors! 👏 Check them out: facs-conference.github.io/2022/talks

Great presentation of Juliane Päßler, a formal model of Metacontrol #ISoLA2022, #REMARO project. Details link.springer.com/chapter/10.100…

Juliane Paßler presented her work on formalizing Metacontrol at ISoLA 2022 today! Very nice talk, Juliane! Work with Carlos Hernandez Corbato Lizeth Tapia REMARO: Reliable AI for Marine Robotics ITN

Registration is open, and we already have +60 registered attendees! Join our virtual event in ±2 weeks 👇 facs-conference.github.io/2022/#registra…

Digital Twin Reconfiguration Using Asset Models presented by Eduard Kamburjan #ISoLA2022. Details at link.springer.com/chapter/10.100…

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins presented by Eduard Kamburjan #ISoLA2022. Details at link.springer.com/chapter/10.100…

My social media team is not failing me. Presenting our work at ISoLA'22 on "A Notion of Equivalence for Refactoring with Abstract Execution" doi.org/10.1007/978-3-…. 1/n

Big congrats to Paul Kobialka, Lizeth Tapia, and Felix Mannhardt for the EdbA 2022 Best Paper Award! Very well deserved! Preprint of the paper "Building User Journey Games from Multi-party Event Logs" coming up soon. Smart Journey Mining project #edba22 #icpm22

Very happy that we received this recognition for the work driven by Paul and the result of him visiting Process Analytics Group (TU/e). (He should create a Twitter account now 😉)

FACS 2022 will start tomorrow morning online! You can still attend it even if you did not register yet - check out the great program 👇facs-conference.github.io/2022/program/

Lizeth Tapia, ǝʇʇɐʃɥɔS ıpnᴚ and me are organising this online event! Join us tomorrow and Friday!

Great keynotes by Renato Neves and Ina Schaefer! 👏 We soon start our last session of today, also on Modelling & Verification, chaired by Olga Kouchnarenko. Don't miss it! 👀 All links are in our website: facs-conference.github.io/2022/

Great talk of Ina Schaefer at FACS 2024 today! Correctness-by-Construction Engineering - Can we build better software? We are online, check our program facs-conference.github.io/2022/

Great talk of Renato Neves at FACS 2024, Semantics for Hybrid Components - Categorical Tools and Techniques. Check the program facs-conference.github.io/2022/

Great presentation today from Volker Stolz @[email protected] at FACS 2024! Hardware-Components for Runtime Monitoring.

Happy and excited to share that our paper (with Susmoy Das) titled "Embeddings Between State and Action Based Probabilistic Logics" has been selected as the best paper at FACS 2024. We would like to thank the organizing committee and the PC for appreciating this line of work

Fantastic talk from Christel Baier at FACS 2024. Probabilistic causality in Markovian models.

Congratulations Arpit Sharma and Susmoy Das for your paper, recognized by the PC of FACS as the best one of 2022! 👏

Check the FACS 2022 proceedings (part of the FACS 2024 series) link.springer.com/book/10.1007/9…

PhD position: formal methods for digital twins at Univ. of Oslo. Do you like logic and #formalmethods, but also software engineering and programming? Join interdisciplinary project on #digitaltwins to study effects of #climatechange on ecosystems. #phd jobbnorge.no/en/available-j…