Accepted Paper by Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl and Joost-Pieter Katoen

17/10/2019

Congratulations to Marcel Hark, Benjamin Kaminski, Jürgen Giesl and Joost-Pieter Katoen!Thir paper „Aiming Low Is Harder – Induction for Lower Bounds in Probabilistic Program Verification“ is accepted at the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020).