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 2010
- February 22, 2010
IV115 and ParaDiSe Lab
- March 1, 2010
Saturation in Symbolic State Space Generation
(Nikola Beneš) - March 8, 2010
Saturation in Symbolic Model Checking
(Milan Češka) - March 15, 2010
Speculative Saturation in Distributed-Memory
(Jakub Chaloupka) - March 22, 2010
MATLAB Tutorial part I
(Jana Tůmová) - March 29, 2010
MATLAB Tutorial part II
(Jana Tůmová) - April 5, 2010
Easter Holidays
- April 12, 2010
DiVinE Model Checker
(Jiří Barnat) - April 19, 2010
Komponentové systémy z pohledu softwarového inženýrství I.
(Radek Ošlejšek) - April 26, 2010
Komponentové systémy z pohledu softwarového inženýrství II.
(Radek Ošlejšek) - May 3, 2010
Komponentové systémy z pohledu formální verifikace
(Ivana Černá)Nástroje pro verifikaci komponentových systemů
(Milan Křivánek) - May 10, 2010
Synthesis from Component Libraries (FOSSACS'09 paper)
(Filip Štefaňák) - May 17, 2010
Petanque Closed