Reading Group on Introductory Formal Methods

We are happy to announce that our reading group is being prepared!

The first day is going to be November 15th, 2021.

For more information about this course, click here!