Michael Rabin's honorary PhD ceremony
2.