June 29, 2026
I had great 2 weeks in Paris visiting Romain Pascual at the MICS laboratory, CentraleSupélec, Université Paris-Saclay.
I gave a talk on view-based software and systems development in the context of the CRC 1608 “Convide” at KIT, and we had in-depth discussions on model consistency and formal methods — topics where our work overlaps in interesting ways. The only thing competing with the intensity of the research agenda was the June heat wave outside.
Thanks to Romain for the invitation and the great discussions. Very much looking forward to future collaboration!
Next Stop is the STAF conference in Rennes!
