Congratulations to Sandrine Blazy who received the Lucas Award 2023 Formal Methods 2026 for her work with Zaynah Dargaye and Xavier Leroy on Formal Verification of a C Compiler Front-End in #fm 2006. #formalmethods

Excitingly, #FMAS2023 will be co-located with iFM this year! FMAS will run on the 15th and 16th of November 2023, crossing over with the final day of #ifm23 We're still finalising the details. You can keep up on the FMAS webpage: fmasworkshop.github.io/FMAS2023/ #ifm2023

This afternoon at Formal Methods 2026’23 kicking off with Jeannette M. Wing’s luminary talk on “Trustworthy AI”. #fm23 #formalmethods

Our PhD program is on track: Ma[x|ks]im Storetvedt successfully defended his PhD thesis on ""A new Grid workflow for data analysis within the ALICE project using containers and modern Cloud technologies" and will be off to CERN for more science! Congratulations!

🔵 The workshop: “I-MDE-A Model-Driven Engineering and its Applications” will bring experts from different branches of research within MDE to discuss their techniques, advances and applications. 📅 Registration open until May 10 at 12:00. 🌐 More info ➡️ software.imdea.org/workshops/2023…

🔵 We are just about to start the: “I-MDE-A Model-Driven Engineering and its Applications” workshop. 👀 You can watch it LIVE through this link ➡️ zoom.us/j/3911012202 🔐 37065722

🔵 Cristina Vicente, from UEx, has made an introduction to MDE: from toy (container-based or education robot application design) to real-world projects in different application domains (management of fleets of autonomous self-adaptive robots) #imdeasoftware

🔵Roberto Rodríguez from UEx discusses a Model-Driven framework for the definition of data science pipelines independent of the particular execution platform & tools which alleviate problems like executing pipelines in different environments (reproducibility & replicability)

🔵Volker Stolz @[email protected] from, @hvl_no, presents a modeling for smart home interoperability and how to represent it in one of the standards for IoT, SAREF, as well as the challenges involved. The objective is to achieve its use for migration between different smart home platforms.

🔵 Violet Ka I Pun, from @hvl_no, presents the preliminary results of the CROFLOW project, focused on decision making to optimize workflows. The goal is to automate these processes and make them less manual and more efficient. #imdeasoftware

José Ignacio Requeno, from Complutense, is presenting Petri nets (PN) -an automaton-based formalism for modelling concurrent systems- for MDE. Requena motivates the combination of PN with monitors and runtime verification techniques.

🔵 Adrian Rutle, from @hvl_no, has given an overall introduction to multi-modelling, then hint at various ways of achieving consistency and has also presented an approach to restore consistency based on reinforcement learning.

I am glad and honored to share that our paper “UnGoML: Automated Classification of unsafe Usages in Go” was awarded the MSR 2025 FOSS award. 🙌 Our tool that was mentioned: github.com/stg-tud/ungoml Joint work with Clemens Damke, gh0st, Eyke Hüllermeier, and Mira Mezini. #MSR2023

Tomorrow at ICSE 2023, we will present our project with the Cancer Registry of Norway (Public Sector in Norway). Cancer registry is one of the best partners one could wish for! Kreftregisteret Simula Research Laboratory ICSE conf.researchr.org/details/icse-2…

The fabulous team of DH Graz is hard at work preparing for ADHO DH2023. See you soon in Graz! #DH2023

Polizei Pforzheim Ihr habt weggeschaut. Immer und immer wieder. natenom.de/2019/10/offene…

Polizei Pforzheim Warum habt ihr jahrelange Hinweise und Beschwerden ignoriert und abgebügelt, "kein öffentliches Interesse" als Ausrede benutzt? Mit ner Polizei wie euch herrscht absolute Gesetzlosigkeit auf den Verkehrswegen.

Polizei Pforzheim Ist euch die Gefährdung jetzt konkret genug? Oder immer noch zu abstrakt? natenom.de/2019/10/radfah…

Polizei Pforzheim er hat sich ja nur unzählige Mal an SIE gewendet und um Hilfe gebeten. natenom.de/2021/09/dichte…