Special Session 94 Dynamics and Variational Methods of Quasi-Hamiltonian Systems
Organizer(s): Xifeng , Jianlu 		Room 312
 13:30-14:00  Renato C Calleja (IIMAS-UNAM, Mexico)
 Invariant Tori in Hamiltonian and Conformally Symplectic Systems: A Posteriori KAM Theory and Computation

Special Session 162 Computer-Assisted Proofs in Dynamical Systems
Organizer(s): Akitoshi , Jonathan 		Room 618
 14:30-15:00  Renato C Calleja (IIMAS-UNAM, Mexico)
 A Computer-Assisted Proof of Marchal`s Conjecture in the Three-Body Problem