David Gries is giving a keynote speech at the Third International Congress on Tools for Teaching Logic in Salamanca, Spain, 1-4 June 2011. He is also giving the banquet speech at the 17th International Symposium on Formal Methods in Limerick, Ireland, 20-24 June 2011.