Schedule for: 17w5141 - Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics
Beginning on Sunday, May 7 and ending Friday May 12, 2017
All times in Banff, Alberta time, MDT (UTC-6).
| Sunday, May 7 | |
|---|---|
| 16:00 - 17:30 | Check-in begins at 16:00 on Sunday and is open 24 hours (Front Desk - Professional Development Centre) |
| 17:30 - 19:30 |
Dinner ↓ A buffet dinner is served daily between 5:30pm and 7:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |
| 20:00 - 22:00 | Informal gathering (Corbett Hall Lounge (CH 2110)) |
| Monday, May 8 | |
|---|---|
| 07:00 - 08:45 |
Breakfast ↓ Breakfast is served daily between 7 and 9am in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |
| 08:45 - 09:00 | Introduction and Welcome by BIRS Station Manager (TCPL 201) |
| 09:00 - 10:00 | Jason D. Mireles James: Parameterization of unstable manifolds for parabolic PDEs (TCPL 202) |
| 10:00 - 10:30 | Coffee Break (TCPL Foyer) |
| 10:30 - 11:30 | Yoshitaka Watanabe: Some computer-assisted proofs for the Navier-Stokes equations (TCPL 201) |
| 11:30 - 12:00 | Jonathan Jaquette: Counting and discounting periodic orbits in Wright’s equation (TCPL 201) |
| 12:00 - 13:00 | Lunch (Vistas Dining Room) |
| 13:00 - 14:00 |
Guided Tour of The Banff Centre ↓ Meet in the Corbett Hall Lounge for a guided tour of The Banff Centre campus. (Corbett Hall Lounge (CH 2110)) |
| 14:00 - 14:20 |
Group Photo ↓ Meet in foyer of TCPL to participate in the BIRS group photo. The photograph will be taken outdoors, so dress appropriately for the weather. Please don't be late, or you might not be in the official group photo! (TCPL Foyer) |
| 14:30 - 15:00 | Chris Groothedde: Parametrizing the unstable manifolds of delay equations (TCPL 201) |
| 15:00 - 15:30 | Coffee Break (TCPL Foyer) |
| 15:30 - 16:30 | Thomas Wanner: Rigorous continuation of equilibria and bifurcation points in the diblock copolymer equation (TCPL 202) |
| 16:30 - 17:30 | Discussions (TCPL 201) |
| 17:30 - 19:30 |
Dinner ↓ A buffet dinner is served daily between 5:30pm and 7:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |
| Tuesday, May 9 | |
|---|---|
| 07:00 - 09:00 | Breakfast (Vistas Dining Room) |
| 09:00 - 10:00 | Mitsuhiro Nakao: On the guaranteed error error bounds of a new approximation scheme for parabolic problems (TCPL 202) |
| 10:00 - 10:30 | Coffee Break (TCPL Foyer) |
| 10:30 - 11:30 | Jacek Cyranka: Proof of the heteroclinic connections in the 1D diblock copolymers model + some remarks on rigorous integration of PDEs (TCPL 202) |
| 11:30 - 12:00 | Maxime Breden: Computer assisted proof for the Navier-Stokes equations: existence of periodic orbits in a Taylor-Green flow (TCPL 202) |
| 12:00 - 13:30 | Lunch (Vistas Dining Room) |
| 13:30 - 14:30 | Piotr Zgliczynski: On computer assisted proofs in dynamics in infinite dimensions (TCPL 202) |
| 14:30 - 15:00 | Jonathan Wunderlich: Computer-assisted existence proofs for one-dimensional Schrödinger-Poisson systems (TCPL 202) |
| 15:00 - 15:30 | Coffee Break (TCPL Foyer) |
| 15:30 - 16:30 | Michael Plum: A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain (TCPL 202) |
| 16:30 - 17:30 | Discussions (TCPL 201) |
| 17:30 - 19:30 | Dinner (Vistas Dining Room) |
| Wednesday, May 10 | |
|---|---|
| 07:00 - 09:00 | Breakfast (Vistas Dining Room) |
| 09:00 - 10:00 | Daniel Wilczak: Chaos in the Kuramoto-Sivashinsky equation and a new algorithm for integration of dissipative systems (TCPL 202) |
| 10:00 - 10:30 | Coffee Break (TCPL Foyer) |
| 10:30 - 10:45 | Discussion (identifying future lines of research and important problems to work on) (TCPL 201) |
| 10:45 - 12:00 | Break up into groups (TCPL 201) |
| 12:00 - 13:30 | Lunch (Vistas Dining Room) |
| 13:30 - 17:30 | Free Afternoon (Banff National Park) |
| 17:30 - 19:30 | Dinner (Vistas Dining Room) |
| Thursday, May 11 | |
|---|---|
| 07:00 - 09:00 | Breakfast (Vistas Dining Room) |
| 09:00 - 10:00 | Kaori Nagatou: An approach to computer-assisted existence proofs for nonlinear space-time fractional parabolic problems (TCPL 202) |
| 10:00 - 10:30 | Coffee Break (TCPL Foyer) |
| 10:30 - 11:00 | Ray Sheombarsing: Validated computations for semilinear dissipative PDEs (TCPL 202) |
| 11:00 - 11:15 | Discussion (identifying future lines of research and important problems to work on) (TCPL 201) |
| 11:15 - 12:00 | Break up into groups (TCPL 201) |
| 12:00 - 13:30 | Lunch (Vistas Dining Room) |
| 13:30 - 14:30 | Xuefeng Liu: Explicit eigenvalue bounds for self-adjoint partial differential operators (TCPL 201) |
| 14:30 - 15:00 | Elena Queirolo: Validated continuation for Hopf bifurcations in ODE (TCPL 202) |
| 15:00 - 15:30 | Coffee Break (TCPL Foyer) |
| 15:30 - 15:45 | Discussion (identifying future lines of research and important problems to work on) (TCPL 201) |
| 15:45 - 17:30 | Break up into groups (TCPL 201) |
| 17:30 - 19:30 | Dinner (Vistas Dining Room) |
| Friday, May 12 | |
|---|---|
| 07:00 - 09:00 | Breakfast (Vistas Dining Room) |
| 10:00 - 10:30 | Coffee Break (TCPL Foyer) |
| 10:30 - 12:00 | Discussions (TCPL 201) |
| 11:30 - 12:00 |
Checkout by Noon ↓ 5-day workshop participants are welcome to use BIRS facilities (BIRS Coffee Lounge, TCPL and Reading Room) until 3 pm on Friday, although participants are still required to checkout of the guest rooms by 12 noon. (Front Desk - Professional Development Centre) |
| 12:00 - 13:30 | Lunch from 11:30 to 13:30 (Vistas Dining Room) |
