cbc February 2026

cbc@software.imdea.org

2 participants
4 discussions

Mismatch of Slides on Website
by Leyi Qiang 20 Feb '26

20 Feb '26

Hi Manuel, The slides "logic and inference rules" uploaded to the website for today’s lecture seem different from what you showed in class. Could you please double check them? Thank you. Bests, -- Leyi Qiang

2 1

First Exercise Sheet 2026
by Manuel Carro 16 Feb '26

16 Feb '26

Hi, all. The first exercise sheet is available. Please find the announcement and a link to the sheet here: https://wp.software.imdea.org/cbc/2026/02/16/first-exercise-sheet/ Deadline: February 27th, 2026, 23:59 (just before midnight). 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 Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Lecture for Wednesday 18th: material
by Manuel Carro 15 Feb '26

15 Feb '26

Dear all, next Wednesday, Feb. 18th, I expect to start using Rodin. To get the most of the lectures, please install Rodin in your laptops and bring them to the classroom so that we can start to develop models and prove properties. Please have a look at https://wp.software.imdea.org/cbc/rodin-installation-and-tips/ for instruction installations and some generic advice! 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 Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Welcome to the Correctness by Construction course
by Manuel Carro 01 Feb '26

01 Feb '26

Hi. If you receive this email, you have registered for the Correctness by Construction course. It is taught in three different master programs (MFII, EMSE, and MUSS) and it is part of eligible requirements for the DSSC PhD program. The mailing list and the web page will be our primary communication means outside the classroom. The web page is located at https://wp.software.imdea.org/cbc/ Please read it thoroughly and let me know if there is something unclear (or just wrong). You can send messages to the mailing list using the address cbc(a)software.imdea.org Messages to the mailing list will reach *all* of your classmates. You are free to use it, but only for messages that can be read by everyone. This mailing list uses the official mail addresses provided by the university where you registered. Please make sure you read it frequently. Please also let your classmates who are registered in this course know that this message has been sent, to make sure that everyone is enrolled in the mailing list. The lectures will take place in the Montegancedo Campus of UPM on Wednesdays from 3pm to 6pm at classroom 6205 (building 6, level 2, room 05). The first lecture will take place on *February 4th*. Best, -- +-----------------------------------------------------------------------------+ | Manuel Carro --- E.T.S. Ing. Informáticos -- U. Politécnica de Madrid (UPM) | | Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain | | Phone: +34-91-101-2202 ext 4140 |

1 0

2026

2025

2024

2023

2022

2021

2020

cbc February 2026