CAV Award for Harald Ganzinger August 30th, 2021 AwardsHarald Ganzinger (1950 – 2004) was bestowed with the 2021 CAV Award by the 33th International Conference on Computer Aided Verification. more
Bernt Schiele appointed member of Leopoldina May 18th, 2021 AwardsProfessor Bernt Schiele was appointed by the German National Academy of Natural Sciences Leopoldina, as a member more
