The image shows a man standing in front of a large screen in a conference room. He is giving a presentation and is pointing to the screen with his right hand. The screen displays the text "Helmut's legacy: Model checking distributed algorithms is a lively area. FRIDA in 10 days at DISC. Compositional verification. Parametric synthesis." There is a vase of red roses on the table next to the man. The room has white walls and a whiteboard on the right side of the image.