Hi! This message is unrelated to the CbC lectures, but it may be interesting for some of you.
The ACM chapter of the UPM organizes a series of Lightning Talks every semester. They are broadcast through twitch.tv at https://www.twitch.tv/acmupm .
There is a talk session tomorrow, Friday 30th, at 5pm (see one announcement here: https://twitter.com/acmupm/status/1387696757795139588?s=20).
I was asked to give a talk, and I think that if you found the Correctness by Construction course minimally interesting, you may find my talk interesting, too! I won't advance the topic, but its title is "Truths I will never tell you".
The only thing is that it will be in Spanish, so unless you have a minimal proficiency, you may not get much from it...
Best regards,