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 2016
The theme for this semester is presentation of state of the art papers, mainly from CAV 2016 and CAV 2015. Each presentation should include full background for the topic. The presentation should be 40 to 60 minutes (without questions).- September 19, 2016
Semester start
- Semester 26, 2016
Presentation selection
- October 3, 2016 (cancelled)
Presentation preparation
- October 10, 2016 (cancelled)
Presentation preparation
- October 17, 2016 (cancelled)
Presentation preparation
- October 24, 2016 (cancelled)
Presentation preparation
- October 31, 2016
Stateless Model Checking for POWER (Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson) (springer) (presentation)
(Vladimír Štill) - November 7, 2016
Using Minimal Correction Sets to more Efficiently Compute Minimal Unsatisfiable Sets (Fahiem Bacchus, George Katsirelos) (presentation)
(Jaroslav Bendík) - November 14, 2016
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components (Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački) (presentation)
(Katarína Kejstová) - November 21, 2016
The SeaHorn Verification Framework (presentation)
(Jan Mrázek) - November 28, 2016
Boosting k-Induction with Continuously-Refined Invariants (Dirk Beyer, Matthias Dangl, and Philipp Wendler) (presentation)
(Viktória Vozárová) - December 5, 2016
- December 12, 2016
buffer
- December 19, 2016
Pre-X-mas Breakfast.