Tony Hoare’s for a “Grand Challenge” for computing is discussed here in the Register. The draft proposals are discussed here.
It looks like a nice mix of topics, but inevitably they are at such a high level that it’s hard to be sure how they might be transformed into concrete research and engineering activities. And of course it’s important to avoid the Fifth Generation effect….