Requirements for this seminar are: The student should have been exposed in the bachelor studies to some kind of Formal Methods, like automata theory, logics, programming languages theory (not just programming), Maude, type theory or static analysis, discrete mathematics, or other similar formalisms. This list is not exhaustive, it is only meant to give an idea of what we understand by Formal Methods. One may have different background that is still relevant.
Moreover, the student should be interested in formal methods for computer science (eg., in methods for modelling and verification of complex systems or of software). Because this is what the seminar provides: a wealth of talk by various (sometimes invited from outside Norway) speakers on topics related to formal methods.
The participating student is supposed to also give one (or two) talks of about 45min on some formal methods topic of interest (to be choose together with the coordinator of the seminar).
You can contact the responsible of the seminar, if you have any questions.