The ParaDiSe Seminar is a working forum for the presentation of ongoing and finished research in the areas related to the specification, modelling, analysis, and verification of software systems.
The meetings are held on Thursday at the Faculty of Informatics, Masaryk University, starting at 12:00.
Seminar Programme — Spring 2019
This year meeting and presentations of the RoFI group will be held in B410 at the usual 10am Monday morning. The meeting of DIVINE will be held online.