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 2021
Due to the epidemic situation the seminar is organized online in ZOOM. ParaDiSe members should have the link in e-mails. If you are not a member but with to participate, please contact us.
This semester we will present what each of us do under the laboratory flag. The talks should be prepared so that they take at most one hour with all the questions, 30 minutes at least. After every talk we also discuss what the presenter did wrong in the presentation and how the presenter may improve the presentation skills.
Schedule
-
March 15, 2021
RoFI Project – The directors cut
(Jan Mrázek) -
March 22, 2021
Cut my arm and attach it elsewhere
(Matěj Žáček) -
March 29, 2021: slides
Sharing gossips efficiently: From one to all
(Vladimír Chlup) -
April 12, 2021: slides
Let’s pretend in simulated reality
(Ondřej Svoboda) -
April 19, 2021: slides
When two arm tips kiss each other
(Patrick Ondika) -
April 26, 2021: slides
Behind the scenes of video shooting
(Markéta Naušová) -
May 3, 2021: slides
Mornfall’s divine tool and me
(Henrich Lauko) -
May 10, 2021: slides
Domain-Specific Abstractions & How to Pick a Good Domain
(Hugo Adamove) -
May 17, 2021: slides
Mornfall’s divine tool and me - interval domain
(Pavol Mišenko) -
May 24, 2021: slides
Mornfall’s divine tool and me
(Jakub Šárník)