cbc April 2022

cbc@software.imdea.org

1 participants
5 discussions

Plans for the rest of course
by Manuel Carro 27 Apr '22

27 Apr '22

Dear all, as we discussed today during the lecture, we will continue with Event-B during the rest of the course. I will make the term project available in short. The project is to be made in groups of *three* people and presented in a session. In order to free you as soon as possible and give you time to prepare other exams / homework, etc., we agreed to schedule the presentation of the project solutions for May, Wed 25th (approx. one month from now), in the same place and time slot we use … [View More]

1 0

Masks in lectures
by Manuel Carro 19 Apr '22

19 Apr '22

Dear all, as you may know, starting tomorrow, Wednesday 19th, the regulations regarding mask usage in Spain will be relaxed: they will not be mandatory in closed spaces (with a few exceptions). However, institutions and companies are free to require their use. UPM has decided to continue requiring the use of masks in its premises. So, please bring masks tomorrow to the lecture. Best, -- +-----------------------------------------------------------------------------+ | Manuel Carro --- E.T.… [View More]

1 0

Correctness by Construction: HW #3
by Manuel Carro 19 Apr '22

19 Apr '22

Hi. The third homework for Correctness by Construction is available at https://wp.software.imdea.org/cbc/2022/04/19/third-cbc-homework/ . The deadline to turn it in is May 4th, 2022. 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

Lecture by zoom on Wednesday, April 6th
by Manuel Carro 05 Apr '22

05 Apr '22

Dear all, apparently a dysfunction in the heating system of the CS school, combined with the low temperatures in Madrid now, has forced the School to stop face-to-face lectures for the rest of the week. We have been asked to use Zoom / MS Teams instead. Therefore, tomorrow's lecture will be delivered via Zoom at the normal slot (4pm to 7pm). The coordinates are below: URL: https://zoom.us/j/5911012202 Password: CorByC Sorry about this late announcement -- I have just become aware … [View More]

1 0

Section 3.3 of HW #2 + extension
by Manuel Carro 01 Apr '22

01 Apr '22

Hi. I have received several questions regarding section 3.3 of HW2. Some of you have reasoned along the lines of "when the event Finish is enabled, then f(r) = y and we have found what we wanted". That is true, but it is not an answer. First of all, Finish might never be enabled; we never proved explicitly it was going to be enabled. Second, and more important: Finish is an artifact that appears in the model only to highlight a condition in which a sequential algorithm would have exited … [View More]

1 0

2025

2024

2023

2022

2021

2020

cbc April 2022