Before revision:  Here, we describe a rigorous derivation of error-backpropagation-based learning for hierarchical networks of leaky integrate-and-fire neurons .
After revision:  Here, we describe a rigorous derivation of learning such first-spike times in networks of leaky integrate-and-fire neurons .