Dear all,
as we discussed today during the lecture, we will continue with Event-B during the rest of the course.
I will make the term project available in short. The project is to be made in groups of *three* people and presented in a session. In order to free you as soon as possible and give you time to prepare other exams / homework, etc., we agreed to schedule the presentation of the project solutions for May, Wed 25th (approx. one month from now), in the same place and time slot we use for the lectures.
Therefore:
- If that date & time is NOT feasible for you, please let me know ASAP and, in any case, *before* next Wednesday (May 4).
- Please set up groups of three people and send me (before next Wednesday) the names of the members of each group. If you are not able to make a 3-person group, please let me know ASAP (again, before next Wednesday) to look for a solution.
Best regards,