Dear members of the HOL community - I am sorry to have to pass on this message from Mike's family. - Sara
Dear all, I'm sorry to report that Mike Gordon died peacefully this evening after a short illness. He is survived by his wife of 38 years Avra Cohn and by his sons Katriel and Reuben. He'll be greatly missed by his family and friends, but equally by the academic community of which he was such a long-standing pillar. There will be a memorial service in Cambridge in due course to celebrate his life. Please do forward this message to any mailing lists or people that you think would like to know. Best, Avra, Reuben and Katriel [I can pass on any messages back. - Sara ] ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
