  The success of Gross--Pitevskii and Bogoliubov theories in the description of
large systems of interacting bosons led to a substantial effort into rigorously
deriving these effective theories. In this work we shall review the related
existing literature in the context of dynamics of large bosonic systems.
