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.