Crystalline Chebotarev density theorems

I formulate a conjectural analogue of Chebotarev's density theorem for convergent F-isocrystals over a smooth geometrically irreducible curve defined over a finite field using the Tannakian formalism. I will talk about the proof of this analogue in several special classes, including all semi-simple convergent F-isocrystals which have a filtration by isoclinic F-isocrystals of pair-wise different slopes whose monodromy groups are reductive and abelian over a non-empty open subcurve. The methods used include the theory of reductive groups and p-adic analysis, but at some point also a little bit of diophantine geometry, too. This is joint work with Urs Hartl.