KAUST CEMSE AMCS Levon Nurbekyan The Envelope Formula and Its Variational Analysis Session 1