  We give a reformulation of the Birch and Swinnerton-Dyer conjecture over
global function fields in terms of Weil-etale cohomology of the curve with
coefficients in the Neron model, and show that it holds under the assumption of
finiteness of the Tate-Shafarevich group.
