Second order optimality conditions for generalized semi-infinite programming problems

We consider generalized semi-infinite programming problems. Second order necessary and sufficient conditionsfor local optimality are given. The conditions are derived under assumptions such that the feasible set can be described by means of a finite number of optimal value functions. Since we do not require a strict complementary condition for the local reduction these functions are only of class C¹ A sufficient condition for optimality is proven under much weaker assumptions.