Abstract: Henri Darmon formulated a concrete version of a conjecture of Oda according to which it should be possible to construct rational points on elliptic curves over real quadratic fields defined over quadratic extensions of the field by integrating the Hilbert modular form associated to the curve. We present the conjecture together with some numerical evidence for it. This is joint work with Darmon.