LICS’17 paper accepted

The paper “A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations” by Benjamin L. Kaminski and Joost-Pieter Katoen has been accepted to LICS 2017.  The paper presents a wp–style calculus for reasoning about the expected values of mixed–sign unbounded random variables after execution of a probabilistic program.