cbc February 2024

cbc@software.imdea.org

1 participants
2 discussions

First CbC Homework
by Manuel Carro 02 Mar '24

02 Mar '24

Dear all, the first homework for Correctness by Construction is available at https://t.ly/WoFXr . Deadline: Tuesday March 5th, 23:59. Best regards, -- Manuel Carro : manuel.carro(a){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

1 1

Install Rodin and bring your laptops!
by Manuel Carro 21 Feb '24

21 Feb '24

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(a){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

1 0

2025

2024

2023

2022

2021

2020

cbc February 2024