Info-HOL, of course!
Tom
From: Thomas Melham <[email protected]>
Date: Saturday, 19 May 2018 at 13:30
To: "[email protected]" <[email protected]>
Cc: Georg Weissenbacher <[email protected]>, "Chockler, Hana"
<[email protected]>, "[email protected]" <[email protected]>,
"[email protected]" <[email protected]>, John Harrison
<[email protected]>
Subject: Memorial scientific session for Mike Gordon at FLoC.
Dear Into-HOL Colleagues
------------------------------------------------------------------------------
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
