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 — 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.
Schedule
-
September 13, 2021
Organization, chapter assignment
-
October 4, 2021
Kinematics & Dynamics (Chapters A.2, A.3)
(Markéta Naušová) -
October 11, 2021
Actuation & Motion Control (Chapters A.4, A.8)
(Ondřej Svoboda) -
October 18, 2021
Sensing & Motion Planning (Chapters A.5, A.7)
(Filip Čáp) -
October 25, 2021
Software architecture & Behaviors (Chapters A.12, A.13)
(Vladimír Chlup) -
November 1, 2021
AI & Learning (Chapters A.14, A.15)
(Tomáš Repák) -
November 8, 2021
Snake-like & Modular Robots (Chapters B.20, B.22)
(Roman Dvořák) -
November 15, 2021
World Modelling & SLAM (Chapters C.45, C.46)
(Jan Koniarik) -
November 22, 2021
Micro-/Nanorobots (Chapter A.27)
(Patrick Ondika) -
November 29, 2021
Limbed Systems (Chapter A.17)
(Tomáš Krchňák) -
December 6, 2021
RoFI physical embodiment
(Jan Mrázek) -
December 13, 2021
nothing
-
December 17, 2021
Brunch, starts at 9:30