International workshop on verified computations
March 7-10, 2009 |
Last modified: 6 February 2009 |
Top | Speakers | Program [html] [PDF] |
Program (updated as of 5 February 2009) |
8:50-9:00 | Opening |
9:00-9:45 | Goetz Alefeld | "Error Bounds for Complementarity Problems Using Feasible Vectors" |
9:45-10:30 | Andreas Frommer | "Computing enclosures for the matrix square root" |
10:30-11:00 | Coffee Break |
11:00-11:45 | Guenter Mayer | "The solution sets of some structured matrices" |
11:45-12:30 | Walter Kraemer | "Solving Large Linear Interval System" |
Lunch |
14:30-15:15 | Filomena Pacella | "Computer assisted proofs for semilinear elliptic equations" |
15:15-16:00 | P. Joseph McKenna | "Some conjectures on semilinear elliptic equations: theorems, computations and verification" |
16:00-16:30 | Coffee Break |
16:30-17:15 | Yasuhide Fukumoto | "Linear and weakly nonlinear stability of an elliptic flow from the viewpoint of Hamiltonian spectra" |
17:15-18:00 | Wolfgang Reichel | "A-priori bounds for discretized nonlinear elliptic boundary value problems" |
18:00- | Welcome Party |
9:00-9:45 | B. Malcolm Brown | "Eigenvalue enclosures and exclosures for non-self-adjoint problems in hydrodynamics" |
9:45-10:30 | Yoshitaka Watanabe | "A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow" |
10:30-11:00 | Coffee Break |
11:00-11:30 | Michael Plum | "Band-gaps for 3D Photonic Crystals: A Computer-Assisted Approach (Part I)" |
11:30-12:00 | Henning Behnke | "Band-gaps for 3D Photonic Crystals: A Computer-Assisted Approach (Part II)" |
12:00-12:30 | Kaori Nagatou | "Spectral Problem on 3-D Maxwell's Equations" |
Lunch |
14:30-15:15 | Ulrich Kulisch | "Practical Interval Arithmetic" |
15:15-16:00 | Gerhard Heindl | "On Verification Problems in Digital Filter Design" |
16:00-16:30 | Coffee Break |
16:30-17:15 | Siegfried M. Rump | "Error-Free Transformations and ill-conditioned problems" |
17:15-18:00 | Shin'ichi Oishi | "Some Applications of Verified Numerical Computations and Error Free Transformations" |
9:00-9:45 | Vu Hoang | "Enclosures for Single-Shock Solutions of Burgers' Equation" |
9:45-10:30 | Mitsuhiro T. Nakao | "On the numerical verification method of solutions for evolutional equations" |
10:30-11:00 | Coffee Break |
11:00-11:45 | Piotr Zgliczynski | "Rigorous numerics for dissipative PDEs" |
11:45-12:30 | Arnold Neumaier | "Towards optimization-based error bounds for PDEs" |
Lunch |
14:30-15:15 | Masanobu Kaneko | "On the "values" of the elliptic modular j-function at real quadratics" |
15:15-16:00 | Frank Herrlich | "Origamis and Dessins d'Enfants" |
16:00-16:30 | Coffee Break |
16:30-17:15 | Gabriela Schmithuesen | "A side trip of origamis into Outer Space" |
17:15-18:00 | Masato Wakayama | "Arithmetics on Non-commutative harmonic oscillators" |
19:00- | Banquet |
9:00-9:45 | Markus Neher | "Taylor model methods for the verified integration of ODEs" |
9:45-10:30 | Nobito Yamamoto | "Verified Computatuion of Closed Orbits of Dynamical Systems" |
10:30-11:00 | Coffee Break |
11:00-11:45 | Setsuo Taniguchi | "Eigenvalues in stochastic oscillatory integrals" |
11:45-12:30 | Andreas Rauh | "Applications of Verified DAE Solvers in Engineering" |
12:30-13:15 | Gianni Arioli | "A functional analytic approach to computer assisted proofs" |
13:15-13:25 | Closing |