Numerical methods for spectral problems: theory and applications

▶ 2 - 4 September, 2019   RIMS, Kyoto, Japan


Mini-symposium on Verified Computing and Computer-Assisted Proof


Before the workshop "Numerical methods for spectral problems: theory and applications", we  have a mini-symposium on the topic of verified computing and computer-assisted proof.  People are recommeded to attend both the workshop and the mini-symposium.



  • ▪August 31: Early registration (place to be announced.)
  • ▪September 1: Regular session
  • ▪September 1, evening: Welcome party



  • ▪To be announced.

Invited speakers

  • ▪To be announced.


  • ▪Contact: Xuefeng LIU, Niigata University



Online Conference Registration       Powered by SmartChair System