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 2008
Overview of research in ParaDiSe
The goal of the first part of the seminar is to let the people from each ParaDiSe group introduce problems they are working on, describe their current research goals and research achievements, and summarize contents of their recent publications.
- September 15, 2008
Cancelled — FMICS 2008 / QEST 2008
- September 22, 2008
ParaDiSe: Verification of probabilistic systems
(Milan Češka) - September 29, 2008
ParaDiSe: CoIn project
(Pavlína Moravcová Vařeková) - October 6, 2008
Report on my PhD studies
(Jakub Chaloupka) - October 13, 2008
ParaDiSe: Decomposition of verification problems
(Tomáš Babiak) - October 20, 2008
Cancelled — ATVA 2008
Computing with external memory
Computing memory demanding tasks became a common need for a number of researchers and practitioners. Continuous improvments of qualities of external memory devices open an interesting option for those people — computing with usage of external memory. The goal of the second part of the seminar is to get acquaintance with basic techniques, data structures and algorithms used for this kind of computing.
- October 27, 2008
Memory Hierarchies — Models and Lower Bounds
(Ondřej Kuzník) - November 3, 2008
Basic External Memory Data Structures
(Mária Svoreňová) - November 10, 2008
Survey of Techniques for designing I/O Efficient Algorithms
(Jana Tůmová) - November 17, 2008
Holidays.
- November 24, 2008
Cancelled for technical reasons.
- December 1, 2008
Elemantary Graph Algorithms in External Memory
(Sven Dražan) - December 8, 2008
'To Store or Not To Store' Reloaded: Reclaiming Memory on Demand
(Petr Bauch) - December 15, 2008
ParaDiSe: I/O Efficient algorithms - Overview of current and recent work, summary of recent publications.
(Martin Šmérek and Pavel Šimeček) - December 19, 2008 (9:00, C408)
Christmas breakfast in ParaDiSe