We aim to cover various topics in higher dimensional geometry. The themes include the recent progress of the minimal model program, general boundedness theorems for log general type pairs and singular Fano varieties. We would also like to discuss applications to other topics e.g. topology of singularities, algebraic K-stability theory of Fano varieties. Moduli spaces of higher dimensional varieties, including the K-moduli and its relation to other constructions, are investigated. Some familiarity with basic minimal model program theory is assumed.