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,