I will give an introduction to the microlocal theory of sheaves
after Kashiwara and Schapira, and some of its recent applications
in symplectic topology. I'll start with the basics, but target
applications for the 75 minutes are Tamarkin's proof of...