Computer Science Bandnames

Is math rock too passe these days? Are you ready to sing about the Theory of Computation? Just need a band name?

Let the bandname generator do it for you. How about...

Alonzo Church and the Axiomatic Notations

Again!