Sakura Science Program at Niigata University: Online Lecture (2021)

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.