  This chapter presents a self-contained approach of variational analysis and
generalized differentiation to deriving necessary optimality in problems of
bilevel optimization with Lipschitzian data. We mainly concentrate on
optimistic models, although the developed machinery also applies to pessimistic
versions. Some open problems are posed and discussed.
