Excited about the upcoming Momba tutorial at #fm21! 🐍🥳 If you want to learn hands-on how to use #Python and #Momba to create, explore, and analyze quantitative models, then this tutorial is for you! Get prepared: https://t.co/w20bv66otV #formalmethods21 #AcademicTwitter

Flying from #Jeju to #Osaka with @speithti after a very inspiring week at @ieee_re! Especially enjoyed learning more about human-values in requirements engineering. Hope to see you again at #RE20.

Larissa Chazette presenting interesting results on whether end-users want explanations and the impact of explainability on other NFRs at @ieee_re—a first and highly important step towards #Explainability and #ExplainableSystems. #XAI #AcademicTwitter

Presenting our paper “#Explainability as a Non-Functional Requirement” today at @ieee_re. Thanks to everyone for the great discussion. The first day of #RE19 has been an amazing experience for me! Really looking forward to the following two days. #XAI #AcademicTwitter

#ReadyForTakeOff to @ieee_re with @speithti. Looking forward to an amazing conference program. See you in #Jeju! 🛫