Einar Broch Johnsen
@ebjohnsen.bsky.social
Prof CS University of Oslo
https://ebjohnsen.org
https://ebjohnsen.org
Reposted by Einar Broch Johnsen
#FM2026 will feature a Tutorial track, for work that is broadly accessibly and can spread useful ideas in #FormalMethods more widely. Papers may be driven by academic interests or needs from specific domains.
Papers can be upto 25 pages long (LNCS)
Details: conf.researchr.org/track/fm-202...
Papers can be upto 25 pages long (LNCS)
Details: conf.researchr.org/track/fm-202...
FM 2026 - Tutorials - FM 2026
FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…
conf.researchr.org
September 15, 2025 at 1:37 PM
#FM2026 will feature a Tutorial track, for work that is broadly accessibly and can spread useful ideas in #FormalMethods more widely. Papers may be driven by academic interests or needs from specific domains.
Papers can be upto 25 pages long (LNCS)
Details: conf.researchr.org/track/fm-202...
Papers can be upto 25 pages long (LNCS)
Details: conf.researchr.org/track/fm-202...
Happy to contribute to the PhD defence of Tabea Bordis in Karlsruhe yesterday! Congrats also to supervisor Ina Schaefer.
July 18, 2025 at 2:17 PM
Happy to contribute to the PhD defence of Tabea Bordis in Karlsruhe yesterday! Congrats also to supervisor Ina Schaefer.
Finally, science unveils the inner workings of the Roman Empire !
Bones found at the site of an ancient fish-processing plant were used to genetically identify the species that went into a fish sauce, often known as garum, eaten throughout the Roman Empire
Ancient DNA reveals make-up of Roman Empire’s favourite sauce
Bones found at the site of an ancient fish-processing plant were used to genetically identify the species that went into a fish sauce, often known as garum, eaten throughout the Roman Empire
www.newscientist.com
July 8, 2025 at 2:43 PM
Finally, science unveils the inner workings of the Roman Empire !
Counterfactual strategies for MDPs. Lots of fun working on this with Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Abraham and Lizeth Tapia. To be presented at IJCAI over summer
Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika \'Abrah\'am, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen: Counterfactual Strategies for Markov Decision Processes https://arxiv.org/abs/2505.09412 https://arxiv.org/pdf/2505.09412 https://arxiv.org/html/2505.09412
July 6, 2025 at 9:29 AM
Counterfactual strategies for MDPs. Lots of fun working on this with Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Abraham and Lizeth Tapia. To be presented at IJCAI over summer
We have started combining formal methods with data streams for twinning hospital wards. #bedreflyt
Riccardo Sieve, Paul Kobialka, Laura Slaughter, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa: BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins https://arxiv.org/abs/2505.06287 https://arxiv.org/pdf/2505.06287 https://arxiv.org/html/2505.06287
July 6, 2025 at 9:24 AM
We have started combining formal methods with data streams for twinning hospital wards. #bedreflyt
Testing self-made sensors for the Oslofjord digital twin today, in an underwater sugar kelp garden!
April 28, 2025 at 11:46 AM
Testing self-made sensors for the Oslofjord digital twin today, in an underwater sugar kelp garden!
Reposted by Einar Broch Johnsen
The 27th Symposium on Formal Methods 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:
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:
FM 2026 - FM 2026
FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…
conf.researchr.org
April 8, 2025 at 1:37 PM
The 27th Symposium on Formal Methods 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:
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:
Lots of fun in Västerås today, celebrating Marjan Sirjani
April 9, 2025 at 7:29 AM
Lots of fun in Västerås today, celebrating Marjan Sirjani
It is time to revisit Morgenstern’s account of Gödel’s naturalization process for US citizen albert.ias.edu/entities/arc...
Oskar Morgenstern's account of Kurt Gödel's naturalization
No description available
albert.ias.edu
March 26, 2025 at 10:40 AM
It is time to revisit Morgenstern’s account of Gödel’s naturalization process for US citizen albert.ias.edu/entities/arc...
Reposted by Einar Broch Johnsen
I just sent this letter to Columbia's interim president. I suspect she'll never see it, but you will.
March 21, 2025 at 11:47 PM
I just sent this letter to Columbia's interim president. I suspect she'll never see it, but you will.