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,