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.

 

Period 

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

Place

Program

  • ▪To be announced.

Invited speakers

  • ▪To be announced.

Committee

  • ▪Contact: Xuefeng LIU, Niigata University

 

 

Online Conference Registration       Powered by SmartChair System