TheoryOverflow seems the right name. None of the variants com/net/org is taken; I would therefore prefer theoryoverflow.org
if possible.
cstheoryoverflow.org
is also still available, but I feel since we are the first ones to use theory (without the cs), this is our chance to keep it out of the hands of the postmodernists. (This is meant to be a joke, by the way.)