Rational points on curves over function fields (with F. Pazuki)

Let X be a smooth, complete geometrically connected curve defined over a one variable function field K over a finite field. Let G be a subgroup of the points of the Jacobian variety J of X defined over a separable closure of K with the property that G/p is finite, where p is the characteristic of K. Buium and Voloch, under the hypothesis that X is not defined over K^p, give an explicit bound for the number of points of X which lie in G (related to a conjecture of Lang, in the case of curves). In this joint work with Pazuki, we extend their result by requiring just that X is non isotrivial.