Summer School in Explicit Methods for Abelian Varieties