In 2017, Kevin Hartnett was exploring computer theorem proving and discovered that a Cambridge conference on the subject was scheduled for 2019.

“So I was just beginning. This was back, back-- So back in 2017, I was having this midlife crisis and, uh, trying to work out what was going on in the area of, you know, computers proving theorems.”

“And I discovered, to my amusement, that there was a big conference in the area that I was far too late to register for, uh, in Cambridge taking place in two years' time.”