"Complexity sells better and the market pulls in this direction" ... "It is time to unmask computing community as a Secret Society for the Creation and Preservation of Artificial Complexity.
And then we have the software engineers, who only mention formal methods in order to throw suspicion on them. In short, we should not expect too much support from the computing community at large.
And from the mathematical community I have learned not to expect too much support either, as informality is the hallmark of the Mathematical Guild, whose members --like poor programmers -- derive their intelectual excitement from not quite knowing what they are doing and prefer to be thrilled by marvel of the human mind (in particular their own ones). For them, the Dream of Leibniz is a Nightmare.
In summary, we are on our own."