KAUST CEMSE CS Graduate Seminar Laurent Condat Proximal Splitting Methods for Convex Optimization