cbc April 2023

cbc@software.imdea.org

2 participants
4 discussions

Term project
by Manuel Carro 15 May '23

15 May '23

Hi. The problem to be solved for the term project is available at https://wp.software.imdea.org/cbc/2023/04/18/term-project/. Please have a look at it! Important dates: - Send data for each team: Wednesday, May 3rd. - Deadline to send in all the material: Tuesday, May 16th, 23:59. - Presentations: May 17th, 16:00-19:00. Let me know if you have doubts, questions, etc. 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 1

Term Project: Looking for a team
by Janek Wenning 02 May '23

02 May '23

Hello everyone, if there are any teams looking for additional members or other people who are looking to form a team for the term project, I would love to hear back from you! Best regards, Janek

3 2

Second Event-B Homework
by Manuel Carro 17 Apr '23

17 Apr '23

Hi. The second homework for Event B has been released. Please consult it at https://wp.software.imdea.org/cbc/2023/03/31/second-event-b-homework/ As usual: - Write me in case there is anything you do not understand. - Feel free to write to the class mailing list, so if anyone has a question of general interest, please feel free to ask it openly. Please remember as well that the class mailing list reaches everyone in the course, so be careful regarding what information is disclosed. 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 1

Third Event-B Homework
by Manuel Carro 14 Apr '23

14 Apr '23

Hi, everyone. I have posted the third Event-B homework; please check the course's website or download it directly from https://wp.software.imdea.org/cbc/wp-content/uploads/sites/5/2023/04/03-one… Deadline: Wednesday, May 3rd 2023, 15:59, . 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

2025

2024

2023

2022

2021

2020

cbc April 2023