Formal Methods: next lecture
As agreed with the students, the Formal Methods lecture of Monday, April 24th will not take place. This lecture is postponed to Wednesday, May 3rd, 14.30-16.30, room 1.1 (Coppito 1). Thus, the next lecture will be on Friday, April 28th.
The supervision hours of Monday, April 24th will not take place. For any urgent question, please use email.