Hello everyone. The first lecture of the the Correctness by Construction course will take place today, February Wednesday 10, via Zoom. Please connect using the following data:

https://zoom.us/j/9911012202 Password: CbyC Time: 4pm to 7pm

The Zoom room will be available half an hour before the starting of the lecture in case you want to test your setup and make sure you can connect. I strongly advise to download the desktop application, rather than relying on the web-based interface.

Please let you classmates know in case you think some of them is not reading / not receiving emails.

Best regards,