"The formality theorem gave deep insight into the homological algebra of smooth functions on a manifold. Many applications have grown out of this investigation, too many to mention here. ... the author explains its implications together with its origins in the theory of quantization. This is a valuable contribution since the formulation of the statement requires some sophisticated preparation, which is carefully discussed in this booklet." (Stefan Waldmann, Mathematical Reviews, February, 2016)

• Introduction.- Classical mechanics and Poisson structures.- Deformation quantization and formality theory.- Kontsevich’s Formula and Globalization.- Appendix.- Vector bundles.- Cohomology.- Index.

"The formality theorem gave deep insight into the homological algebra of smooth functions on a manifold. Many applications have grown out of this investigation, too many to mention here. ... the author explains its implications together with its origins in the theory of quantization. This is a valuable contribution since the formulation of the statement requires some sophisticated preparation, which is carefully discussed in this booklet." (Stefan Waldmann, Mathematical Reviews, February, 2016)

• Introduction.- Classical mechanics and Poisson structures.- Deformation quantization and formality theory.- Kontsevich’s Formula and Globalization.- Appendix.- Vector bundles.- Cohomology.- Index.