| S1 Welcome party | August 26 18:00-20:00 Dinning room (1st floor) | |
|
18:00-20:00
Welcome party (buffet) at New Akan Hotel
[The dinning room is shared with other guests. Tell the staff that you are participants of NMSP workshop.] |
||
| S21 | August 27 9:00-12:00 Meeting room | |
|
9:00 - 9:25
Adaptive computation of harmonic and bi-harmonic eigenvalues
abstract
Carsten Carstensen (Humboldt) |
||
|
9:25 - 9:50
Lower/upper bound approximation of H(curl)-conforming spectral element methods for Maxwell eigenvalues
abstract
Jiayu Han (Guizhou Normal University) |
||
|
9:50 - 10:15
Asymptotic/guaranteed lower bounds for eigenvalues of several eigenvalue problems
abstract
Yu Zhang (Guizhou University of Finance and Economics) |
||
| 10:15 - 10:35 Break time | ||
|
10:35 - 11:00
Why spectral methods are preferred in PDE eigenvalue computations in some cases?
abstract
Zhimin Zhang (Wayne State University) |
||
|
11:00 - 11:25
High-precision eigenvalue estimation using Lehmann-Goerisch's method
abstract
Xuefeng LIU (Niigata University) |
||
|
11:25 - 11:50
Numerical experiments with skeletal methods
abstract
Emilie Pirch (Friedrich-Schiller-Universität Jena) |
||
|
11:50 - 12:15
Skeletal methods for direct guaranteed lower eigenvalue bounds
abstract
Benedikt Gräßle (Humboldt-Universität zu Berlin) |
||
| S22 | August 27 12:00-13:30 To be announced | |
|
12:00-13:30
Lunch time (No food provided by the workshop)
|
||
| S23 | August 27 14:15-18:00 Meeting room | |
|
14:15 - 14:40
Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle
abstract
Michael Plum (Karlsruhe Institute of Technology) |
||
|
14:40 - 15:05
Computer-assisted counterexamples in spectral geometry
abstract
Javier Gomez Serrano (Brown University) |
||
|
15:05 - 15:30
Non-selfadjoint spectral problems related to self-similar blowup in nonlinear wave equations
abstract
Kaori Nagatou (Karlsruhe Institute of Technology) |
||
| 15:30 - 16:00 Break time | ||
|
16:00 - 16:25
Log orthogonal functions in semi-infinite intervals: approximation results and applications
abstract
Sheng CHEN (Beijing normal university) |
||
|
16:25 - 16:50
Quasi resonances in acoustic scattering: analysis and algorithms
abstract
Luka Grubisic (University of Zagreb, Faculty of Science) |
||
|
16:50 - 17:15
Two-parameter localization for eigenfunctions of a Schrodinger operator in balls and spherical shells
abstract
Chen Jia (Beijing Computational Science Research Center) |
||
|
17:15 - 17:40
Addressing Open Challenges in Exploring Positivity and Sign-Change in Solutions of Elliptic Equations
abstract
Kazuaki Tanaka (Waseda University) |
||
| S31 | August 28 9:00-12:00 Meeting room | |
|
9:00 - 9:25
Generation of test matrices with specified eigenpairs
abstract
Katsuhisa Ozaki (Shibaura Institute of Technology) |
||
|
9:25 - 9:50
Fast verified computation for all eigenvalues and basis of invariant subspaces of a real symmetric matrix
abstract
Shinya Miyajima (Iwate University) |
||
|
9:50 - 10:15
Rigorous Eigenvalue Computational Methods for Large-Scale Matrices
abstract
Keisuke Tsukuda (Niigata University) |
||
| 10:15 - 10:35 Break time | ||
|
10:35 - 11:00
Challenges towards and beyond exascale matrix eigenvalue computations
abstract
Toshiyuki Imamura (RIKEN) |
||
|
11:00 - 11:25
A parallel eigensolver for photonic crystals discretized by edge finite elements
abstract
Yan Xu (University of Science and Technology of China) |
||
|
11:25 - 11:50
Efficient algorithms for transmission eigenvalue problems arising in wave scattering
abstract
Tiexiang Li (Southeast University) |
||
|
11:50 - 12:15
Fast L2 optimal mass transport via reduced basis methods for the Monge-Ampère equation
abstract
Xia Yinhua (University of Science and Technology of China) |
||
| S32 | August 28 12:00-13:30 To be announced | |
|
12:00-13:30
Lunch time (No food provided by the workshop)
|
||
| S34 | August 28 14:00-18:30 Meeting room | |
|
14:00-18:30
Free discussion
|
||
| S33 | August 28 14:40-16:30 Cruise tour | |
|
14:40-16:30
(Option) Cruise tour of Akan lake.
To collect at the Front of New Akan Hotel at 14:40. To be back at around 16:30. [Update 8/27: The fee is covered by the workshop.] |
||
| S35 | August 28 18:30-20:30 B1 of New Akan Hotel | |
|
18:30-20:30
Japanese traditional banquet (B1 of New Akan Hotel)
|
||
| S42 | August 29 8:45-17:00 Bus tour | |
|
8:45-17:00
Tour to Lake Mashu and Lake Kussharo
Lunch is included. Collection time: 8:45 (@New Akan Hotel) Departure time: 9:00 To end at 17:00 and back to New Akan Hotel. |
||
| S51 | August 30 9:00-12:00 Meeting room | |
|
9:00 - 9:25
A class of efficient Hamiltonian conservative spectral methods for Korteweg-de Vries equations
abstract
Waixiang Cao (Beijing Normal Unviersity) |
||
|
9:25 - 9:50
H(curl2)-conforming triangular spectral element methods for quad-curl problems
abstract
Lixiu Wang (University of Science and Technology Beijing) |
||
|
9:50 - 10:15
Sparse spectral-Galerkin method on an arbitrary tetrahedron using generalized Koornwinder polynomials
abstract
Lueling Jia (Shandong Normal University, Beijing Computational Science Research Center) |
||
| 10:15 - 10:35 Break time | ||
|
10:35 - 11:00
Convergence study on prolate-Galerkin linear sampling method for shape and parameter identification
abstract
Shixu Meng (Academy of Mathematics and Systems Science, Chinese Academy of Sciences) |
||
|
11:00 - 11:25
Efficient numerical method for some nonlocal phase field models
abstract
Wang Jiangxing (Hunan Normal University) |
||
| S52 | August 30 12:00-13:30 To be announced | |
|
12:00-13:30
Lunch time (No food provided by the workshop)
|
||
| S53 | August 30 14:00-15:30 Meeting room | |
|
14:00 - 14:25
Continuity and differentiability of eigenvalues of Laplacian with respect to general domain perturbations
abstract
Takuya Tsuchiya (Osaka University) |
||
|
14:25 - 14:50
Conerning the spatial localization of eigenvectors
abstract
Jeffrey Ovall (Portland State University) |
||
|
14:50 - 15:15
Verified computation for shape derivative of the Laplacian eigenvalues
abstract
Ryoki Endo (Niigata University) |
||
| S54 | August 30 16:00-17:30 Meeting room | |
|
16:00-17:30
Intensive course on rigorous eigenvalue estimation by Xuefeng LIU
|
||
| S61 | August 31 7:00-7:30 Meeting room | |
|
7:00-7:30
Closing
Only public bus available on August 31. (One way: 2190JPY for adult, 1100JPY for child.) ▪ Recommendation: Take bus at Akan Lake Bus Center, which departs at 7:30, 10:20, 11:50, 12:30, 16:00. |
||