Number Theory Seminar: p-adic differential operators on automorphic forms and applications