Info-HOL, of course!
Tom
From: Thomas Melham <thomas.mel...@balliol.ox.ac.uk>
Date: Saturday, 19 May 2018 at 13:30
To: "hol-info@lists.sourceforge.net" <hol-info@lists.sourceforge.net>
Cc: Georg Weissenbacher <georg.weissenbac...@tuwien.ac.at>, "Chockler, Hana"
<hana.chock...@kcl.ac.uk>, "avi...@cmu.edu" <avi...@cmu.edu>,
"assia.mahbo...@inria.fr" <assia.mahbo...@inria.fr>, John Harrison
<ja...@amazon.com>
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
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
