  We review recent results about the derivation of the Gross-Pitaevskii
equation and of the Bogoliubov excitation spectrum, starting from many-body
quantum mechanics. We focus on the mean-field regime, where the interaction is
multiplied by a coupling constant of order 1/N where N is the number of
particles in the system.
