The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx). This contribution reports on the 2016 edition of the award. 1998 ACM Subject Classification F.3 Logics and Meanings of Programs, F.4 Mathematical Logic and Formal Languages

I dedicate this lecture to Bob Kauffman, who taught me about PSE, and with whom, according to Bob, we came up with the term RSE, one Saturday morning in the 1990’s. I am deeply grateful to Suman Surendranath for nominating me for the award, and for the hard work that he and Bob Kauffman undertook in preparing my nomination for the award. I am truly humbled that AMSA selected me to be the recipi...