The talk on “A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations” has been accepted for presentation at the Probabilistic Programming Semantics (PPS) workshop at POPL’17.