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 (canncel)
- ▪September 1: Regular session
- ▪September 1, evening: Welcome party
Place
- ▪Rm 127, Bd 3, Kyoto University
- ▪Map: https://www.kyoto-u.ac.jp/en/access/north-campus-map.html
Program
- ▪The program is merged with NMSP: http://www.smartchair.jp/p/NMSP2019/
Committee
- ▪Xuefeng LIU, Niigata University
- ▪Sekine kota, Toyo University
- ▪Tanaka Kazuaki, Waseda University