I’m looking forward to the next edition of the tutorial on Correctness by Construction. I’ll be co-presenting it in Porto, Portugal coming Thursday morning, as part of FMWeek 2019. The tutorial is the latest and greatest edition of a series, with previous editions at FM’14, QRS’17, and ICTAC’18.