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 2011
- September 19, 2011
Seminar Introduction
- September 27, 2011
Automatic Synthesis of Distributed Control and Communication Schemes
(Yushan Chen) - October 3, 2011
CANCELLED — PAKOS
- October 10, 2011
CAV 2011 selected paper 1
(Vojtěch Havel) - October 17, 2011
CAV 2011 selected paper 2
(Jan Havlíček) - October 24, 2011
Search-based Testing of Concurrent Programs
(Zdeněk Letko, VUT FIT) - October 31, 2011
ATVA 2011 — Parallel Nested DFS #1
(Petr Ročkai) - November 7, 2011
ATVA 2011 — Parallel Nested DFS #2
(Tomáš Janoušek) - November 14, 2011
Designing Fast LTL Model Checking Algorithms for Many-Core GPUs
(Petr Vilík Bauch) - November 21, 2011
Computing Strongly Connected Components in Parallel on CUDA
(Milda Češka) - November 28, 2011
Robot Motion Planning and Receeding Horizon
(Mária Svoreňová) - December 5, 2011
CANCELLED
- December 12, 2011
TBA
(Simon Laursen) - December 19, 2011
ParaDiSe Christmas breakfast