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 Mondays at the Faculty of Informatics (room depends on the semester, usually B410 or B411), Masaryk University, starting at 14:00. Presentations are usually one hour in length.

Seminar Programme — Autumn 2021

This semester, we will go through the selected chapters of Handbook of Robotics. Each participant will be assigned a chapter of this book and he or she should read it, understand it and present it into the rest of the participants. The talks should take about one hour and they are followed by a discussion about the topic.

Talks List

© ParaDiSe Laboratory, 1998–2021