cbc May 2025

cbc@software.imdea.org

1 participants
3 discussions

Exams in June and July
by Manuel Carro 08 Jun '25

08 Jun '25

Dear all, I've been asked a couple of times about the course exams. In general, for those who don't pass a course based on homework / partial exams (for these courses where this is a possibility), there is one exam at the end of every semester (i.e., January or June, depending on the semester in which the course takes place) and, additionally, an extra opportunity in July. Those who did not pass because of academic fraud only can go to the July resit. For CbC, this year's dates are: - Wednesday July 11, 3pm-6pm. - Friday July 4, 3pm-6pm. In general the exams take place in the same room as the lectures. If there is any change, I will notify you. As for the format, it is typically the statement of a problem to solve with Event-B and Rodin. It may be a new problem or a variation of previous examples. Plus, all typical programming examples can be replicated: - Insert in a sorted linked list. - Removal of an element in a sorted linked list. - Determine the maximum / minimum of a function (without using the max / min builtin functions). - ... I am attaching a file with suggested exercises you may want to tackle on your own to sharpen your skills. 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 2

Scheduling for the presentation sessions of the term project
by Manuel Carro 16 May '25

16 May '25

Dear all, please find below the proposed schedule for the presentation sessions of the next two weeks. These have been publicly available for several daya, but please let me know if you have any issue. Please try for the presentations to be ~20 min, including questions (but you do not need to use up the whole slot, of course.) There will be 5 min. between presentations to change laptops, etc. Please bring with you a PDF version of your presentation to be able to use another laptop in case of technical problem with yours. The projector has an HDMI input, so if your laptop only has an USB-C (or any other, e.g., DisplayPort?) video output, please try to bring an adapter you know works for you. I always have a USB-C-to-HDMI adapter with me just in case. Lastly, please remember that I expect your models + slides by the day before, Tuesday May 20th, 23:59. Wednesday, May 21st. ==================== 15:10-15:30 The Rodin Stones 15:35-15:55 Event-NEA ----------- break -------------- 15:05-16:15 Thinking 16:20-16:40 Andachris ----------- break -------------- 16:50-17:10 SchRodingers 17:15-17:35 Álvaro Sanz Wednesday, May 28st. ==================== 15:10-15:30 Los primos 15:35-15:55 Plan B ----------- break -------------- 15:05-16:15 Forca Barca 16:20-16:40 PDD ----------- break -------------- 16:50-17:10 Rodinhood 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

Software for today's (Wed May 7) lecture
by Manuel Carro 07 May '25

07 May '25

Hi, all. During today's lecture I intend to use an additional Rodin plugin. It would be great if you install it ahead of time. If you cannot, we'll do it during the lecture. It's the ProB model checker. Please install it by selecting the menu entry Help -> Install new Software . In the "work with" input box type "prob" and a url will appear. Select it, and the select the "ProB for Rodin" plugin that should appear listed below (if you expand the plugin, four components should show up; select all of them). Click "Next" at the bottom of the window, wait, restart and you should be good to go. You may want to install as well the SMT solvers package: - Go to "Install new software". - In the "Work with" input, click on the right downwards arrow to open a pull-down menu, select "All available sites". - In the list, scroll down to locate "Prover extensions". - Expand "Prover extensions" clicking on the ">" sign on the right. - Select "SMT Solvers" - Click "Next", wait for it to install, restart. - You will then have a new "SMT" button in the Theorem Prover perspective. 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 May 2025