I will co-organize two Dagstuhl seminars!

(1) Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy with Mykel Kochenderfer, Jan Křetínský, and Jana Tumova, and

(2) Model Learning for Improved Trustworthiness in Autonomous Systems with Ellen Enkel, Mohammadreza Mousavi, and Kristin Y. Rozier.