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 — Spring 2016

The theme for this semester are verification tools with support for C/C++ (or LLVM). Each presentation should include: The presentation should be 40 to 60 minutes.
© ParaDiSe Laboratory, 1998–2024