Hi, everyone. I should have sent this mail before -- sorry! If you can, bring your laptop to the lecture today and have Rodin installed, as explained at

https://wp.software.imdea.org/cbc/rodin-installation-and-tips/

Time permitting, we will type some models together.

If you cannot install Rodin / bring a laptop, it is completely OK. I will be constructing models live, but typing along with me instead of just watching provides a better experience, as you can make questions and learn from your mistakes.

Last, if you bring a laptop, please make sure its batteries are full. I've realized that there are not many plugs in the lecture room, and they are placed inconveniently. I will try to amend this, but I am afraid it won't be possible for today's lecture.

Best,