- cbc - software.imdea.org

Lecture on Wed. 2 --> remote
by Manuel Carro 02 Mar '22

02 Mar '22

Dear all, an unexpected personal matter has forced me to leave Madrid, so I will not be able to be physically present for today's (Wednesday's) lecture. Since the time available for lectures is limited, instead of cancelling the lecture I am suggesting to exceptionally do it online: everyone will connect to a zoom session and this lecture will take place via zoom. If this is an issue for anyone, please let me know so that we can try to work out an alternative solution. In parallel, I am checking with University officials that I am not breaking any regulation. Therefore, and if nothing forbids it, we will meet on Wed. 2 at 4pm-ish on https://zoom.us/j/5911012202 Pwd: @CbC Sorry again for this sudden change! Best regards, -- +-----------------------------------------------------------------------------+ | 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

First Event-B exercise sheet
by Manuel Carro 22 Feb '22

22 Feb '22

Hi, all. The first exercise sheet for Event-B is available at the course website (please access it through https://wp.software.imdea.org/cbc/2022/02/22/first-cbc-homework/). 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

For today's lecture: bring laptops if you can!
by Manuel Carro 16 Feb '22

16 Feb '22

Hi, everyone. I should have sent this mail before -- sorry! If you can, bring your laptop to the lecture today and have Rodin installed, as explained at https://wp.software.imdea.org/cbc/rodin-installation-and-tips/ Time permitting, we will type some models together. If you cannot install Rodin / bring a laptop, it is completely OK. I will be constructing models live, but typing along with me instead of just watching provides a better experience, as you can make questions and learn from your mistakes. Last, if you bring a laptop, please make sure its batteries are full. I've realized that there are not many plugs in the lecture room, and they are placed inconveniently. I will try to amend this, but I am afraid it won't be possible for today's lecture. 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

Attending lectures remotely
by Manuel Carro 02 Feb '22

02 Feb '22

The slides for today's lecture have been posted at https://wp.software.imdea.org/cbc/ Besides, some of you were attending today's lecture remotely. The CS School sent information on how to deal with that situation. For those who did not receive / did not read the emails sent by the CS School, if you want to attend any lecture remotely you *have to* request it by filling in the form at https://forms.office.com/r/rt45PD9SEM (there is an English version; please select it at the top right corner). The School management will forward me the names of those who can attend remotely. By UPM policy, these are the only students to whom we are allowed to accept in remote lectures. Cheers, -- +-----------------------------------------------------------------------------+ | 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

Remote connection
by Manuel Carro 01 Feb '22

01 Feb '22

Hi. For those of you who cannot attend the CbC lecture in person tomorrow, the connection data is: https://zoom.us/j/5911012202 Pwd: @cbc I strongly advise not to connect remotely unless really necessary. I try to make you participate in the lectures, and the remote experience is always subpar. Besides, it is against UPM's policy. 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

Welcome to Correctness by Construcion
by Manuel Carro 30 Jan '22

30 Jan '22

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. 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/ and you can send messages to the mailing list using the address cbc(a)software.imdea.org Note that a message to the mailing list can reach *all* of your classmates. You are free to use it, but only for messages that should reach all of them. The mailing list uses the official mail addresses provided by the universities where you registered. Please make sure you read it frequently. Please let your classmates who are registered in CbC know that this message has been sent. The lectures will take place in the Montegancedo Campus of UPM every Wednesday from 4pm to 7pm at classroom 6306 (building 6, level 3, room 06). The first lecture will take place next Wednesday, February 2. There is at least one person who cannot join us next Wednesday. The lecture will be streamed by Zoom. I will let you know which URL to use. 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

Project presentations (Jun 2 & 9)
by Manuel Carro 09 Jun '21

09 Jun '21

Hi. This a gentle reminder that we will have project presentations on June 2nd & 9th. One group originally scheduled from the 9th had problems with that date and asked me to put them on the 2nd, so I did. The (hopefully final) schedule is in the course web page - just click on the sessions corresponding to the project presentations days. You are of course welcome to attend all the presentations, not only those corresponding to your session! Also, remember that everyone is expected to send me the presentation materials (slides, explanatory documents if any, Rodin model) this Tuesday, June 1st, before midnight, regardless of when you present. Best / Saludos, Manuel -- +-----------------------------------------------------------------------------+ | 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 1

University Polls
by Manuel Carro 30 May '21

30 May '21

Hi. This is just to remind you that the University evaluation polls for students close tomorrow. You can fill them in at http://servicios.upm.es/encuestas using your UPM account (w.o. @alumnos.upm.es). It's an opportunity to make your opinion count! Best regards, -- +-----------------------------------------------------------------------------+ | 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

Rodin 3.6 is available
by Manuel Carro 26 May '21

26 May '21

-- +-----------------------------------------------------------------------------+ | 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

slides, examples, recording
by Manuel Hermenegildo 23 May '21

23 May '21

Dear all, I forgot to mention that I posted on the web site the slides, files with the examples, and recording of last Wednesday's class. Cheers, Manuel -- ------------------------------------------------------------------------- Manuel Hermenegildo manuel.hermenegildo(a)imdea.org -------------------------------------------------------------------------

1 0

2025

2024

2023

2022

2021

2020

cbc