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:
- Each participant will create a draft of the section in week one.
- The text is peer-reviewed by another participant in week two. The group also shares the collected experience in a discussion. Every participant is expected to give a 3-minute lightning talk that introduces the text section.
- The participants are expected to incorporate the feedback in week three.
- All sections are finalized within week four, and a new section is assigned.
To pass the course, you need to deliver all parts of the text and actively participate in peer review and discussions.
February 16, 2023
Intro, designing text structure, task assignment
February 23, 2023
Solo writing of part 1
March 2, 2023
Lightning talks for parts 1, peer-review & group discussion
March 9, 2023
Improving part 1, solo writing
March 16, 2023
Final revision of part 1, group discussion, new assignment
March 23, 2023
Solo writing of part 2
March 30, 2023
Lightning talks for parts 2, peer-review & group discussion
April 6, 2023
Improving part 2, solo writing
April 13, 2023
Final revision of part 2, group discussion, new assignment
April 20, 2023
Solo writing of part 3
April 27, 2023
Lightning talks for parts 3, peer-review & group discussion
May 4, 2023
Improving part 3, solo writing
May 11, 2023
Final revision of part 3, group discussion