Kickoff Meeting RTG UnRAVeL

On November 10 the official kick-off meeting of the Research Training Group UnRAVeL (Uncertainty and Randomness in Algorithms, Verification and Logic) will take place in room 9222, E3 Building. The program includes invited talks by the renowned researchers Prof. Marta Kwiatkowska (University of Oxford) and Prof. Rolf Möhring (TU Berlin), two-minutes talks by the UnRAVeL doctorate students, and piano as well as saxophone music.