Akzeptiertes Paper von Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl und Joost-Pieter Katoen

17.10.2019

Glückwünsche an Marcel Hark, Benjamin Kaminski, Jürgen Giesl und Joost-Pieter Katoen!Ihr Paper „Aiming Low Is Harder – Induction for Lower Bounds in Probabilistic Program Verification“ wurde auf dem 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020) akzeptiert.