- cbc - software.imdea.org

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

Event B: Term Project
by Manuel Carro 05 May '21

05 May '21

Hi, all. I have just posted the Event B term project, which some of you asked me about. In order for you to have time enough to work on it, the presentation dates have been moved one week forward. That also makes Wed. May 19th available in case it is needed to complete material from the 2nd part of the course. Therefore, in principle you should be able to finish with the course duties either on May 26th or on June 2nd, depending on when you do your presentation. Please go to https://wp.software.imdea.org/cbc/2021/05/05/event-b-term-project/ to see the deadlines and access the project description and how to turn it in. As always, please drop me a line in case you have question / doubts. 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

First set of exercises for part II
by Manuel Hermenegildo 04 May '21

04 May '21

Dear all, I have posted some exercises corresponding to the material of the first lecture. For now please try to do the exercises and have at least some of them ready for the next class (May 5). You will have to turn them in eventually, combined with the following set of exercises, that will be sent after the next class. Cheers, Manuel -- ------------------------------------------------------------------------- Manuel Hermenegildo manuel.hermenegildo(a)imdea.org -------------------------------------------------------------------------

1 0

Graphical interface with Ciao
by Quico del Real 29 Apr '21

29 Apr '21

Dear everyone, Is there a way to have a graphical interface for the ciao prolog program? I don’t use the terminal very often so I’m struggling with getting to know how to use it. Is there a guide of shortcuts for the terminal? Regards, Quico

4 4

Lightning talks (offtopic)
by Manuel Carro 29 Apr '21

29 Apr '21

Hi! This message is unrelated to the CbC lectures, but it may be interesting for some of you. The ACM chapter of the UPM organizes a series of Lightning Talks every semester. They are broadcast through twitch.tv at https://www.twitch.tv/acmupm . There is a talk session tomorrow, Friday 30th, at 5pm (see one announcement here: https://twitter.com/acmupm/status/1387696757795139588?s=20). I was asked to give a talk, and I think that if you found the Correctness by Construction course minimally interesting, you may find my talk interesting, too! I won't advance the topic, but its title is "Truths I will never tell you". The only thing is that it will be in Spanish, so unless you have a minimal proficiency, you may not get much from it... Best regards, -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

slides, examples, and recordings posted
by Manuel Hermenegildo 29 Apr '21

29 Apr '21

Dear all, the slides, the files with the examples used in class, and the recordings of today's class have now been posted on the web site. Cheers, Manuel -- ------------------------------------------------------------------------- Manuel Hermenegildo manuel.hermenegildo(a)imdea.org -------------------------------------------------------------------------

1 0

Start of second part and Ciao installation
by Manuel Hermenegildo 28 Apr '21

28 Apr '21

Dear all, this is a gentle reminder that with tomorrow's class we start the second part of the Correctness by Construction course. In this part the main tool we will be using is Ciao. I have left relevant information about Ciao on the course web site, including installation instructions and pointers to documentation. I you can have Ciao installed in your computer for this first class, you can try examples already during the class, but it is not strictly necessary. It will be necessary however to do the exercises and to be able to follow the second and third classes. Look forward to seeing you tomorrow. Cheers, Manuel -- ------------------------------------------------------------------------- Manuel Hermenegildo manuel.hermenegildo(a)imdea.org -------------------------------------------------------------------------

1 1

2025

2024

2023

2022

2021

2020

cbc