ParaDiSe Seminar

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 2023

This semester we will dive into the craft of technical writing. The goal is to practice and improve in writing technical and formal texts. Therefore, during the semester, we will build 2 larger and more coherent texts – one for the RoFI group and one for the Divine group. The final texts will be published on RoFI and DIVINE websites.

Each participant will write three sections of the text. Each section will be created within a 4-week iteration:

To pass the course, you need to deliver all parts of the text and actively participate in peer review and discussions.


© ParaDiSe Laboratory, 1998–2023