Dear Colleagues,
The CAV 2018 conference chairs, in collaboration with the conference chairs for ITP 2018, are hosting a short scientific session on 13 July in memory of Mike Gordon (1948-2017) at FLoC 2018 in Oxford. As you will all know, Mike was the originator of the HOL theorem prover and a major influence in our field of Formal Methods. We hope that as many as possible of Mike’s former students, collaborators, colleagues and friends will join us in coming together for three short talks on research influenced by Mike’s work.
Registration is free and you can indicate you are coming by signing up here:
https://www.eventbrite.co.uk/e
It will help with our planning if you register. You don’t have to be coming to anything at FLoC to participate – all are welcome!
Please spread the word.
All best regards,
Tom Melham (and John Harrison, Chair)