Three Research Vignettes in Memory of Mike Gordon|
This special, informal session at FLoC 2018 gave colleagues, students, collaborators, and friends of Mike an opportunity to come together for three brief research talks on work he influenced.
Registration was free and open to all participants of FLoC, or others who wish to celebrate the scientific legacy of Mike Gordon. We were delighted that over 70 registered participants came, representing all periods of Mike's scientific career.
16:30-17:00 Tom Melham, Proof Programming from LCF_LSM to Goaled via HOL (slides).
17:00-17:30 Michael Norrish, HOL Developed and HOL Used: Interconnected Stories of Real-World Applications (slides)
17:30-18:00 Magnus Myreen, From Processor Verification Upwards (slides)