- cbc - software.imdea.org

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

Homework postponed -> reschedule
by Manuel Carro 22 May '21

22 May '21

Hello everyone. Some of you have asked for additional time to turn in the term project. I have no problem with that, as long as it is fair to everyone. I had a VC with the delegates of the EMSE and the MFII and it seems that giving one additional week would be Ok. So, and unless some of you has a strong objection, we will reschedule the term project as follows: - Deadline to turn in the project material: Tuesday June 1st, 23:59. - First presentation session: Wednesday June 2nd, 16:00-19:00. - Second presentation session: Wednesday June 9th, 16:00-19:00. I.e., we shift the dates forward by one week. However, and since those registered in the EMSE still have an exam on June 2nd: - The MFII / Erasmus groups will still make their presentations on June 2nd. - The EMSE groups will make presentations on June 9th. The updated schedule is included in the attached file. Again, raise your voice is this is not convenient for you for a well-founded reason. 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

Schedule for the term project presentations
by Manuel Carro 15 May '21

15 May '21

Hi. Thanks for your messages! We have eight groups in total. We could cram all the presentations in a single day, but as I mentioned in a previous message, it would be better to use two days, as you will have more time to explain whatever you think is necessary. Please find the attached to message. General points: - The four groups that have members registered in the EMSE will make their presentations on Wed May 26th, in the regular slot for the course. - The four groups groups that do not have members registered in the EMSE will make their presentations on Wed June 2nd, in the regular slot for the course. Regrettably, that will mean that EMSE students won't be able to attend these presentations, unless they finish their exam quickly and connect to the zoom room (which is a possibility). - Please aim at a 20-minute presentation. Together with 5 min. for questions, switching presenters, etc. that will probably make it possible to have two presentations in the first 50 min., then a 10-minute break, then other two presentations. The same scheme will be used in the two days. - I have sorted the presentations in each day using the lexicographical order of the first family name of each group in lexicographical order inside the group. My apologies if I mistook someone's given name for a family name. - Having 20 minutes does *not* mean you have to fill in 20 minutes. If you think that you will be done in 15 min., then use just 15 min. - Everyone in the group is expected to present a part of the work. - Don't use video with sound, as it is not 100% guaranteed that it is going to be correctly broadcast to everyone else. I've had mixed experiences with that. - I may record the presentations for archival purposes, but I will not post them Not everyone (or I should rather say: a very small minority) sent group names, so I fabricated them. My apologies to those who sent it after much thinking (I'm thinking on "Lambda Rodinius...") I hope everything is clear. Please don't hesitate to ask me should there be any question! Please remember also the deadline to send me the material: it is the same for everyone. Since you should present the material / solution you turn in, this deadline should neutralize the possible advantage that groups that present in the second batch may have. 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

slides, examples, exercises
by Manuel Hermenegildo 13 May '21

13 May '21

Dear all, the slides, files with the examples used in class, and recording of yesterday's class have now been posted on the web site. Those of you that did not turn in the exercises or were not able to do them all, please remember to send them to me by email (just a .pl file please) before the next class. Cheers, Manuel -- ------------------------------------------------------------------------- Manuel Hermenegildo manuel.hermenegildo(a)imdea.org -------------------------------------------------------------------------

1 0

slides, examples, recording, first and second exercise sheets
by Manuel Hermenegildo 07 May '21

07 May '21

Dear all, the slides, the files with the examples used in class, and the recordings of yesterday's class have now been posted on the web site. I have also posted exercise sheets 1 (from last week) and 2, corresponding to the material of the first and second lecture. You need to do these exercises, running them on the Ciao system, and turn them in before the next class (May 12). Remember that you can find installation instructions for Ciao on the front page of the course as well as pointers to manuals, etc., as well as some slides on the basic use of a logic and constraint programming system. Cheers, Manuel -- ------------------------------------------------------------------------- Manuel Hermenegildo manuel.hermenegildo(a)imdea.org -------------------------------------------------------------------------

1 0

2026

2025

2024

2023

2022

2021

2020

cbc