The use of symmetries and conservation laws in the qualitative description of dynamics has a long history going back to the founders of classical mechanics. In some instances, the symmetries in a dynamical system can be used to simplify its kinematical description via an important procedure that has evolved over the years and is known generically as reduction. The focus of this work is a comprehensive and self-contained presentation of the intimate connection between symmetries, conservation laws, and reduction, treating the singular case in detail.The exposition reviews the necessary prerequisites, beginning with an introduction to Lie symmetries on Poisson and symplectic manifolds. This is followed by a discussion of momentum maps and the geometry of conservation laws that are used in the development of symplectic reduction.