[francescoc]

Hi,I asked how he wanted to be introduced before starting the panel discussion. He said Tony Hoare, but changed that to Prof. Hoare when he heard I was going to be more formal with Dr. Joe Armstrong and Prof. Carl Hewitt. My understanding is that he prefers Tony Hoare if being informal (e.g. amongst friends or acquaintances) or Prof. Hoare in more formal settings. Indeed, I started off being formal when introducing the panel, and moved on to first names soon after.