  One version of the polycirculant conjecture states that every
vertex-transitive graph has a semiregular automorphism. We give a proof of the
conjecture in the arc-transitive case for graphs of valency 8, which was the
smallest open case.
