Proofs by example

Speaker: Benjamin Matschke

Location: Warren Weaver Hall 317

Date: Oct. 24, 2019, 5:30 p.m.

Additional information is available here .