Computing zeta functions via p-adic cohomology
  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. 
Kiran S. Kedlaya