KAUST CEMSE AMCS Seminar Mattias Sandberg Posteriori Error Estimate For Symplectic Euler Approximation