David Dill @ 60 Workshop at CAV 2017