AdaCore U has been retired. You can find an archive of all the courses on our YouTube playlist. And be sure to check out our new interactive learning site learn.adacore.com