Dear students,
today we had the last lesson of the course. The possibility of enrolling in the first exam session is now 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