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 Mondays at the Faculty of Informatics (room depends on the semester, usually B410 or B411), Masaryk University, starting at 10:00. Presentations are usually one hour in length.

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).