Dear students,
today we had the last lesson of the course (unfortunately, due to a technical problem the video recording is not available). The possibility of enrolling in the first exam session is already open on Uniweb.
See you at the exam and, possibly, next semester as I will be teaching a different course "Languages for Concurrency and Distribution" (you can find more information here: https://www.math.unipd.it/~baldan/Concurrency).
Of course, I'll be available during office hours—in case just drop me an email to arrange a time.
Best
Paolo Baldan