Constraints, gauge symmetries, and noncommutative gravity in two dimensions

After an introduction into the subject we show how one constructs a canonical formalism in space-time noncommutative theories which allows to define the notion of first-class constraints and to analyse gauge symmetries. We use this formalism to perform a noncommutative deformation of two-dimensional string gravity (also known as Witten black hole).