Seminar on Formal Methods and Applications

The scope of the Seminar includes, but is not limited to, the following subjects: