cbc February 2022

cbc@software.imdea.org

1 participants
4 discussions

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

2025

2024

2023

2022

2021

2020

cbc February 2022