We survey some recent applications of p-adic cohomology to machine
computation of zeta functions of algebraic varieties over finite fields of
small characteristic, and suggest some new avenues for further exploration.Comment: 18 pages; to appear in the Proceedings of ANTS-VI (Algorithmic Number
Theory Symposium, 2004