One week to go! 😃 Mon/Tue will be two jam-packed days of top-notch🏆 presentations and discussions on #digitaltwins 🤩🥳 at the 💎International Conference on Engineering Digital Twins 💎! What are you looking forward to? Join us at #edtconf and #modelsconf in #Linz at JKU!

Less than a month until the submission deadline for TACAS, FoSSaCS, FASE and ESOP (round II): October 10th AoE. etaps.org/2025/cfp/

Autumn is here. DEATHPROD will perform at BLÅ on Saturday September 21. Leave your sunglasses at home and join us. Doors at 9 pm / concert at 10 pm. Part of the Ultima Festivalen Ultimafestivalen in collaboration with BLÅ BLÅ (photo by Einar Broch Johnsen)

Happy to announce that our TOPLAS paper on correct parallel implementations of transition system models has now appeared (with Frank de Boer, Lizeth Tapia and Violet Ka I Pun) dl.acm.org/doi/10.1145/36…

Congratulations to the authors of the best paper award at the first conference of engineering digital twins EDTconf MODELS Conference

We got the Best Paper Award in the Intrl Conf on Engineering Digital Twins EDTconf #DigitalTwins “Declarative Lifecycle Management in Digital Twins” by Eduard Kamburjan,  Nelly Bencomo, Silvia L Tapia Tarifa, Einar Broch Johnsen Einar B Johnsen thanks team! Comp Sci @ Durham

FME/BCS-FACS Joint Seminar Date: Tuesday, 15 October 2024, 17:15 – 19:30 BST Title: The self-aware digital twin Speaker: Professor Einar Broch Johnsen, University of Oslo bcs.org/events-calenda…

Call for Papers: FormaliSE 2025 - mailchi.mp/6dcb7cfdefb9/a…

I am attending the Asynchronous Programming Models workshop in Turin this week. Lots of fun and very nice to meet these grand old scientists again!

I will talk about our work on digital twins and reflection into knowledge graphs at a BCS-FACS webinar Tuesday 15 Oct. More info here: bcs.org/events-calenda…

Tobias John presenting our work on mutation-testing of knowledge graphs at ISSREConf 2024. REMARO: Reliable AI for Marine Robotics ITN Preprint here: ebjohnsen.org/publication/24…

Daniel Kröning kicks off iFM 2024 with a keynote on Proof for Industrial Systems using Neural Certificates. iFM

Philippa Gardner draws big lines for compositionality and verification. Keynote at IFM 2024. iFM

The Role of Formal Methods in Computer Science Education. Summary of recent papers pointing out the key position of formal methods in CS ed inroads.acm.org/article.cfm?ai…

Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wąsowski "Towards a Proof System for Probabilistic Dynamic Logic"arxiv.org/abs/2412.00906…

The Formal Methods Europe Industry Committee announces the next InFM talk! Dr. David Delmas (Airbus) will discuss Formal Verification of #Avionics Software 🛫. Learn how #FormalMethods transform avionics! 🗓️ Jan 16, 2025 ⏰ 3 PM CET 📍fme-industry.github.io/talk/

Are you interested in a postdoc on formal methods or software engineering for digital twins? Possibilities for pure CS and/or interdisciplinary research on this cutting edge topic. Contact me for more information. jobbnorge.no/en/available-j…

Did you know that we have a YouTube Channel? The FME YouTube channel collects invited talks at FM Symosia, FomaliSE conferences, and other formal methods events. Rewatch the talks on our YouTube channel (it's the next best thing to being there). buff.ly/43h03i3

Okay, maybe we've raised the bar too high in PL.

The 27th Symposium on Formal Methods Formal Methods 2026 CfP If your work develops or applies #FormalMethods then #FM2026 is probably interested! Dates (AoE) * Papers 2nd Dec 2025 * Conference 20th–22nd May 2026 Gold open access proceedings Details:conf.researchr.org/track/fm-2026/…