How about some interesting new theories of Computer Science, so we have something more than plug-and-chugging cottage-type-systems to do with these theorem provers?
It would be nice to see theoretical computer science pushed forward again. I'm certainly tired of every other paper being some spin on the same old ML nonsense. Make Computer Science Computer Science again.