Hi! I almost forgot to tell you...
I plan to start working tomorrow (Wednesday, Feb. 22nd) with some simple examples and the development environment Rodin. So it would be great if you can bring your laptops *and* install Rodin. Please have a look at
https://wp.software.imdea.org/cbc/rodin-installation-and-tips/
and follow the instruction installations there!
Best,