5th AI-FM Workshop
The AI-FM workshop is growing. The 5th edition took place from July 9 to 11, bringing together both familiar faces and new guests for three days of great discussions. We were pleased to be joined by outstanding guests like Thom Badings, Milan Ceska, Clemens Dubslaff, Tabea Frisch, Linus Heck, Sebastian Junges, Wietze Koops, Thiago D. Simão, Marnix Suilen, and Matéo Torrents.
The workshop began on Wednesday with a series of talks covering topics at the intersection of formal methods and machine learning, with a particular focus on robust and partially observable Markov decision processes. The remainder of the workshop was devoted to collaborative work: we split into working groups for brainstorming sessions and hands-on progress on ongoing projects.
The workshop wasn’t just about research, though; we also made time to relax and connect socially. On Wednesday evening, we enjoyed dinner together in the city center, and on Thursday, we hosted a game session where we played classic board and card games, as well as some Mario Kart.
Thanks to everyone who contributed to making this workshop another success. We’re already looking forward to the next one!
