[Sysreading] Reading group for 03/05/2020: Software validation and verification

Hey folks, After a few weeks discussing deep learning techniques, we will start a new topic about software validation and verification. *Topic*: Software validation and verification *Paper*: ICSE 2018: Lange et al. "A static verification framework for message passing in Go using behavioural types https://dl.acm.org/doi/abs/10.1145/3180155.3180157" *Where*: KW2 2225 *When*: 12:00 pm - 1:00 pm. Thursday, March 5th, 2020. Please RSVP https://docs.google.com/spreadsheets/d/1PUpFKcw6i2t3fNdAF-wh0EZRDzQFQihGQjJq... here, Thank you! Best, Ya