Most slides are now available

September 8, 2009 1 comment

Slides: The anatomy of a crypto protocol

September 3, 2009 Leave a comment

The slides from Joshua Guttman‘s research talk, The anatomy of a crypto protocol, are now available from the Mitchfest program page.

Update: the link URL for the talk slides has changed.

Slides: The search for clarity

September 3, 2009 Leave a comment

The slides from Mitchell Wand‘s keynote talk, The search for clarity, are now available from the Mitchfest program page.

Update: the link URL for the talk slides has changed.

Mitchfest was a success!

September 3, 2009 Leave a comment

The Symposium in Honor of Mitchell Wand was a great success, thanks to the many attendees, presenters and organizers, and above all to Mitch!

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.