This work addresses the problem of synthesizing globally optimal distillation networks featuring heat and power integration. The problem is formulated within the infinite-dimensional statespace (IDEAS) conceptual framework, which accounts for all possible network alternatives and yields convex (linear) programming formulations. The method is illustrated on a case study involving the cryogenic separation of a nitrogen./oxygen mixture.