Special Session 162 Computer-Assisted Proofs in Dynamical Systems
Organizer(s): Akitoshi , Jonathan 		Room 618
 14:00-14:30  Alex Haro (Universitat de Barcelona & CRM, Spain)
 Modified parameterization methods in computer-assisted proofs for KAM theory