Explicit height bounds and the explicit Mordell-Lang Conjecture

We give an overview of some landmark theorems and recent conjectures in Diophantine Geometry. In the elliptic case, we prove some new bounds for torsion anomalous points and we clarify the implications of several height bounds on the effective Mordell-Lang Conjecture. We also explicitly bound the Neron-Tate height of the rational points of a family of curves of increasing genus.