Professor, @UniOslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. Mastodon: @ebjohnsen@types.pl
Oslo, Norway
Joined December 2010
- Tweets1.7K
- Following463
- Followers548
- Likes3.9K
Einar Broch Johnsen retweeted
OLB: An Open Lora Buoy for Coastal Water Measurements
Lars Willas Dreyer, Andrea Pferscher, Riccardo Sieve, Jean Rabault, Atle Jensen, Einar Broch Johnsen, Gaute Hope
arxiv.org/abs/2601.05615 [𝚙𝚑𝚢𝚜𝚒𝚌𝚜.𝚊𝚘-𝚙𝚑]
Einar Broch Johnsen retweeted
New Book Review:
Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"
fmeurope.org/2025/11/26/book…
#FormalMethods
Einar Broch Johnsen retweeted
🚨The 42nd talk will be on December 8th, 5pm with Eduard Kamburjan (IT University of Copenhagen) and entitled "Bridging Knowledge Graphs and System Models for Self-Adaptative Digital Twins".
Abstract👉 edt.community/events/event/t…
Registration👉jku.zoom.us/meeting/register…
Einar Broch Johnsen retweeted
FME is inviting proposals to host the 28th International Symposium on Formal Methods in Autumn 2027 (#FM2027), preferably in Europe
Dates
* Optional 01 Dec 2025: Expression of Interest
* 15 Jan 2026: Proposals
* 15 Feb 2026: Notification
Details: fmeurope.org/2025/09/14/fm-2…
Einar Broch Johnsen retweeted
Welcome our new Co-Editors-in-Chief:
✨ Einar Broch Johnsen (U. of Oslo)
✨ Maurice ter Beek (CNR-ISTI, Italy)
Leading from Jul 2025 – Jun 2028!
dl.acm.org/journal/fac
Einar Broch Johnsen retweeted
🌿🐟 #EDTConf2025 paper
“Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring” — applies structural self-adaptation to environmental DTs to link species observations with assumptions. Oslo Fjord camera case study.
Details: conf.researchr.org/track/edt…
Einar Broch Johnsen retweeted
Counterfactual Strategies for Markov Decision Processes. arxiv.org/abs/2505.09412
Einar Broch Johnsen retweeted
Call for Papers: FormaliSE 2026 - mailchi.mp/e480916c7293/ablg…
Einar Broch Johnsen retweeted
The 27th Symposium on Formal Methods @FMsymp 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-…
Einar Broch Johnsen retweeted
Okay, maybe we've raised the bar too high in PL.
Do you know that a system paper might be worth 3 AI papers in computer science according to some dubious metric? I launched an interactive website to measure the relative effort spent on one top-tier paper in each computer science field. cspubs.org/
Einar Broch Johnsen retweeted
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
Einar Broch Johnsen retweeted
The @FormalMtds 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/
Einar Broch Johnsen retweeted
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.00906v1
Einar Broch Johnsen retweeted
Call for Papers: FormaliSE 2025 - mailchi.mp/6dcb7cfdefb9/ablg…
Einar Broch Johnsen retweeted
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-calendar/2024…
Einar Broch Johnsen retweeted
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, @ebjohnsen Einar B Johnsen
thanks team!
@comp_sci_durham
Einar Broch Johnsen retweeted
Congratulations to the authors of the best paper award at the first conference of engineering digital twins @EDTconf @modelsconf
Einar Broch Johnsen retweeted
Less than a month until the submission deadline for TACAS, FoSSaCS, FASE and ESOP (round II): October 10th AoE.
etaps.org/2025/cfp/
Einar Broch Johnsen retweeted
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!
Einar Broch Johnsen retweeted
#FM2026 will take place in Tokyo, Japan 🇯🇵
Overleaf projects being created before the announcement was over 🚀
