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 2015
- September 21, 2015
ParaDiSe plán
- September 28, 2015
Státní svátek (Bank Holidays)
- October 5, 2015
DIVINE -- Tree Compression (SEFM 2015), Weak-Memory as LLVM-2-LLVM (MEMICS 2015)
Vladimír Štill - October 12, 2015
DIVINE -- Resizable Hash Table (SPIN 2015), Testing Programs with IO
Jiří Weiser - October 19, 2015
DIVINE -- Verifying MPI Programs
Marek Tomáštík - October 26, 2015
Finding Boundaries in Monotonically Ordered DAGs
Jaroslav Bendík - November 2, 2015
When Sensors Are Costly ...
Eva Tesařová - November 9, 2015
---
- November 16, 2015
---
- November 23, 2015
Parameters in Time
Peter Bezděk - November 30, 2015
Caching in 1/2-DIVINE
Jan Mrázek - December 7, 2015
1/2 DIVINE + DIVINE = 1 and 1/4 DIVINE
Henrich Lauko - December 14, 2015
RESERVED
- December 21, 2015
Pre-X-mas Breakfast.