Constructible sheaves in symplectic topology

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 nondisplaceability, and Shende's proof that a Legendrian isotopy between conormals of knots implies a smooth isotopy between the knots.