releaseacademy: Release Academy

Academia do grupo Release.

This is the mailing list for the student members of the Research lab "Release".

It will be used for announcements of talks and other initiatives organised by the students.

The students group is focused in studying and mastering computer science topics related to foundations of Computer Science and their use to design and implement provably correct reliable and secure software systems.