Parallel Session 3 :: Tuesday, 07/07, 8:00-10:00                                   Room 618
8:00-8:30	Jonathan Jaquette (New Jersey Institute of Technology, USA)  Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs

8:30-9:00

Gonzalo Cao-Labora (EPFL, Switzerland)  Instability of the 2D Taylor-Green vortex

9:00-9:30

Kaname Matsue (Institute of Mathematics for Industry / International Institute for Carbon-Neutral Energy Research, Kyushu University, Japan)  Structures Behind Blow-Up: Algebraic-Geometric Perspectives for Computer-Assisted Proofs

9:30-10:00

Taisei Asai (Yamagata University, Japan)  Rigorous global search of all solution orbits for nonlinear boundary value problems

Parallel Session 4 :: Tuesday, 07/07, 13:30-16:00                                   Room 618
13:30-14:00	Jordi Lluis Figueras (Dept Mathematics Uppsala University, Sweden)  On the computation of Tori and their bifurcations

14:00-14:30

Alex Haro (Universitat de Barcelona & CRM, Spain)  Modified parameterization methods in computer-assisted proofs for KAM theory

14:30-15:00

Renato C Calleja (IIMAS-UNAM, Mexico)  A Computer-Assisted Proof of Marchal`s Conjecture in the Three-Body Problem

15:00-15:30

Ann Gierzkiewicz (Jagiellonian University in Krakow, Poland)  An ellipsoidal satellite`s chaotic tumbling model

15:30-16:00

Maximilian Engel (University of Amsterdam, Netherlands)  Computer-Assisted Proofs in Random Dynamical Systems

Parallel Session 5 :: Tuesday, 07/07, 16:30-19:00                                   Room 618
16:30-17:00	Florent BREHARD (CRIStAL, CNRS, Universite de Lille, France)  Validated Numerics Guided by Symbolic Computations: A Hybrid Newton-Puiseux Algorithm

17:00-17:30

Ryoga Iwanami (Waseda University, Japan)  Efficient implementation of affine arithmetic for rigorous integration of delay differential equations

17:30-18:00

Robert Szczelina (Jagiellonian University, Poland)  Symbolic dynamics in Pseudospectral projection of Delay Differential Equations

18:00-18:30

Thomas Wanner (George Mason University, USA)  Computer-assisted bifurcation point validation

18:30-19:00

Akitoshi Takayasu (University of Tsukuba, Japan)  Multi-stepping scheme for rigorous integration of semilinear parabolic PDEs