- cbc - software.imdea.org

Installing Rodin (Event-B development environment)
by Manuel Carro 13 Feb '25

13 Feb '25

It is very likely that we can start using Rodin next week (Wednesday, Feb. 19th). 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 27 Jan '25

27 Jan '25

Hi! If you receive this email, you have registered for the Correctness by Construction course. This course is taught in three different master programs: MFII, EMSE, and MUSS. In addition, it is part of the 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. 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 5th*. -- 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

Tercer intento
by Manuel Carro 27 Jan '25

27 Jan '25

1 0

A test, again
by Manuel Carro 27 Jan '25

27 Jan '25

Let us see if this goes through

1 0

This post is a test
by Manuel Carro 27 Jan '25

27 Jan '25

I want to check if external users can successfully post.

1 0

Re: Welcome to the "cbc" mailing list
by Manuel Carro 27 Jan '25

27 Jan '25

This one goes to cbc@... On Mon, Jan 27, 2025 at 5:28 PM Manuel Carro <carro.manuel(a)gmail.com> wrote: > Thanks, professor! > > On Mon, Jan 27, 2025 at 5:26 PM <cbc-request(a)software.imdea.org> wrote: > >> >> 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, plus 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. >> >> 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 5th*. >> >> Best, >> >> Manuel Carro >> >

1 0

Presentation slots for term project
by Manuel Carro 20 May '24

20 May '24

Dear all, please find here the suggested presentation slots for next Wednesday, according to the availability you told me: ErAusmus 3:30-3:50 The Burghers of Calais 3:50-4:10 Cbc-JAS 4:20-4:40 MUSS_24 4:40-5:00 RushGroup 5:10-5:30 TheoremProvers 5:30-5:50 Formal Methods 6:00-6:20 CEGroup 6:20-6:40 PPMasters 6:50-7:10 AMN 7:10-7:30 EMSE 7:40-8:00 Please let me know if that is OK for you or not. Every presentation has 20 minutes max. and there is an additional 10-minute gap every two presentations to serve as a buffer in case there are delays for any reason and to take a break every three or four presentations. Of course, you do not need to come early / stay until the end of the presentations if that is not possible for you. 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

Term project 2024
by Manuel Carro 28 Apr '24

28 Apr '24

Hi! The term project is available at https://wp.software.imdea.org/cbc/2024/04/28/term-project-2/ Let me know of any doubts, etc. you may have. 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

Today's lecture suspended
by Manuel Carro 24 Apr '24

24 Apr '24

Hi. I am afraid I will have to suspend today's lecture. I have been feeling sick and I don't think I will be in a condition to teach this evening. My apologies for any inconvenience that this may cause! Let us meet again in the next lecture on May 8th. If there are any questions or doubts regarding the homework or the course material, I will of course be happy to answer them over email. 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

Updated "Cars in a narrow bridge" slides
by Manuel Carro 18 Apr '24

18 Apr '24

Hi. Yesterday I was asked how the calculation of the variant in the "Cars in a Narrow Bridge" example was done. We did it during the lecture, and I have updated the slides to sketch how I did. 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