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 2020
This semester we will present selected papers related to topics researched in the laboratory. The talks should be prepared so that they take at most one hour with all the questions (so prepare a 30 minutes talk and count on a lot of questions, it the worst case we will end early).
Schedule
-
February 17, 2020
Intro
-
March 2, 2020
Scaffold-Based Asynchronous Distributed Self-Reconfiguration by Continuous Module Flow
(Matěj Žáček) -
March 9, 2020
A Multipath Routing Algorithm Based on OSPF Routing Protocol
(Vladimír Chlup) -
March 23, 2020
Current trends in reconfigurable modular robots design
(Ondřej Svoboda)