Cloud Education System Login
- Please login with your Cloud Education account.
-
Apply for a new Cloud Education account
-
Reset login password
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.