21 Feb
2024
21 Feb
'24
1:14 a.m.
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,
--
Manuel Carro : manuel.carro@{upm.es,imdea.org}
Associate Professor, School of CS, UPM : http://www.fi.upm.es
Director, IMDEA Software Institute : https://software.imdea.org
Board of Directors, Informatics Europe : https://www.informatics-europe.org/
Madrid, Spain : +34-91-101-2202 ext. 4140