Title: Gorenstein algebras and Hochschild cohomology Abstract: For homomorphism K-->S of commutative rings, where K is Gorenstein and S is essentially of finite type and flat as a K-module, the property that all non-trivial fiber rings of the homomorphism are Gorenstein is characterized in terms of properties of the Hochschild cohomology of S over K, with coefficients in the bimodule S^e. Authors: L. L. Avramov and S. Iyengar