On April 26 I gave a talk at the New England Systems Verification Day workshop, located at MIT.

The talk is about Eris, for which we have recently put out a preprint. My slides are available in pdf, or keynote (fancy animations!)