Overconvergent modular forms and their explicit arithmetic

Abstract

. In these notes we aim to give a friendly introduction to the theory of overconvergent modular forms and some examples of recent arithmetic applications. The emphasis is on explicit examples and computations.