To follow on from yesterday’s post I wanted to share the slides from the MSR talks:

• MSR Overview - Andrew Herbert
• Getting from A to B: fast route-finding using slow computers - Simon Peyton-Jones
• Curing Cancer, Halting global Disease Outbreaks and averting Dangerous Climate Change - Drew Purves
• Proving that programs eventually do something good - Byron Cook

Videos will follow next week.