In the coming months, presenters and editors will be working on a Festschrift in honor of Mitch, as a special issue (or issues) of Higher-Order and Symbolic Computation. We’ll also be adding links to the presentation slides and videos as they become available. We’ll update this blog with developments.