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 2014
- September 22, 2014
Social meeting, ParaDiSe plan
- September 29, 2014
In search for Better Abstraction: From Proof to Property Guidance
Petr Bauch - October 6, 2014
Úvod do identifikace dynamických systémů, problém estimace parametrů. Aplikace v biologii.
RNDr. David Šafránek, Ph.D. - October 13, 2014
Stochastické dynamické systémy, odhadování parametrů s garancemi.
Milan Češka - October 20, 2014
Barevný model checking, syntéza parametrů dle temporální specifikace.
Martin Demko, Samuel Pastva - October 27, 2014
Machine learning biochemical networks from temporal logic properties
Jaroslav Bayer - November 3, 2014
Standard Motion Planning
Mária Svoreňová - November 10, 2014
Motion Planning: RRTs
Eva Tesařová - November 17, 2014
Státní svátek (Bank Holidays)
- November 24, 2014
Motion Planning: Potential Fields
Kristína Zákopčanová - December 1, 2014
Peter Bezděk - December 8, 2014
Jaroslav Bendík - December 15, 2014
Pre-X-mas breakfast.