Renaming Jeff Sussna's talk at his request.

Renaming Jeff Sussna's talk at his request.