In this course, there will be lectures given by researchers in Japan, on the topic of verified computing. The event is organized by Liu Lab @ Niigata University and supported by JST, Sakura Science Exchange Program.