Cloud Education System Login


Online lecture on verified computing (SSP2021@NiigataUniv)

http://www.ces-alpha.org/hp/SSP2021Online Online (Zoom)   Feb, 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.