Atelier: Dynamique de calcul rigoureuse dans des dimensions infinies3 au 6 avril 2019Programme |
|||
|
||||||||||
Le mercredi 3 avril 2019 |
||||||||
|
|
||||||||
|
09:00 - 09:30
|
Inscription (salle 5345) et café-croissants (salle 6245)
|
|
Salle(s) de réunion : 5340 |
|
09:30 - 10:15
|
Jason D. Mireles James
(Florida Atlantic University) Validated numerics for collision dynamics in the circular restricted three body problem | Résumé |
|
10:15 - 11:00
|
Michael Plum
(Karsruhe Institute of Technology) A Computer-assisted existence proof for Emden's equation on an unbounded domain via eigenvalue bounds | Résumé |
|
11:00 - 11:15
|
Pause-café
|
|
|
11:15 - 12:00
|
Gianni Arioli
(Politecnico di Milano) Some breathers and multi-breathers for FPU-type chains | Résumé |
|
12:00 - 13:30
|
Pause-déjeuner
|
|
|
13:30 - 14:15
|
Piotr Zgliczynski
(Jagiellonian University) Rigorous FEM for intregration of 1D dissipative PDEs | Résumé |
|
14:15 - 15:00
|
Shin’ichi Oishi
(Waseda University) Numerical inclusion of exact periodic solutions for time delay duffing equation | Résumé |
|
15:00 - 18:00
|
Café et discussions
|
Le jeudi 4 avril 2019 |
||||||||
|
|
||||||||
|
09:00 - 09:30
|
Café croissants
|
|
Salle(s) de réunion : 5340 |
|
09:30 - 10:15
|
Maxime Breden
(Technical University of Munich (TUM)) Validated computations for stochastic differential equations | Résumé |
|
10:15 - 11:00
|
Denis Gaidashev
(Uppsala University) Rigorous numerics for the Beltrami equation | Résumé |
|
11:00 - 11:15
|
Pause-café
|
|
|
11:15 - 12:00
|
Javier Gómez-Serrano
(Princeton University) Convexity of Whitham’s wave of extreme form | Résumé |
|
12:00 - 13:30
|
Pause-déjeuner
|
|
|
13:30 - 14:15
|
Akitoshi Takayasu
(University of Tsukuba) Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory | Résumé |
|
14:15 - 15:00
|
Jacek Cyranka
(University of California San Diego) Validated forward integration scheme for a class of parabolic PDEs (introduction to) | Résumé |
|
15:00 - 18:00
|
Café et discussions
|
Le vendredi 5 avril 2019 |
||||||||
|
|
||||||||
|
09:00 - 09:30
|
Café croissants
|
|
Salle(s) de réunion : 5340 |
|
09:30 - 10:15
|
Hans Koch
(The University of Texas at Austin) Traveling waves for the FPU chain | Résumé |
|
10:15 - 11:00
|
Warwick Tucker
(Uppsala University) A new lower bound for H(4) | Résumé |
|
11:00 - 11:15
|
Pause-café
|
|
|
11:15 - 12:00
|
Jonathan Jaquette
(Rutgers, The State University of New Jersey) Validated computation of infinite dimensional stable manifolds in a PDE | Résumé |
|
12:00 - 13:30
|
Pause-déjeuner
|
|
|
13:30 - 14:15
|
Yoshitaka Watanabe
(Kyushu University) Computer-assisted proofs for the Orr-Sommerfeld equation | Résumé |
|
14:15 - 15:00
|
Daniel Wilczak
(Jagiellonian University) Validated integration of variational equations | Résumé |
|
15:00 - 18:00
|
Café et discussions
|
Le samedi 6 avril 2019 |
||||||||
|
|
||||||||
|
09:00 - 09:30
|
Café croissants
|
|
Salle(s) de réunion : 5340 |
|
09:30 - 10:15
|
Evelyn Sander
(George Mason University) Validated continuation curves and bifurcations | Résumé |
|
10:15 - 11:00
|
Elena Queirolo
(VU Amsterdam) Validation of a Hopf bifurcation in the Kuramoto-Sivashinky equation | Résumé |
|
11:00 - 11:15
|
Pause-café
|
|
|
11:15 - 12:00
|
Lennaert van Veen
(University of Ontario Institute of Technology) Rigorous and turbulent Taylor-Green flow | Résumé |
|
12:00 - 13:30
|
Pause-déjeuner
|
|
|
13:30 - 18:00
|
Café et discussions de clôture
|
Mise à jour: Le jeudi 4 avril 2019 14:00