We present a comprehensive discussion of the mathematical framework for binary Bose-Einstein condensates and for the rigorous derivation of their effective dynamics, governed by a system of coupled non-linear Gross-Pitaevskii ...