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 2017

The topic of this autumn semester is abstraction. This semester talks will be held in the room B411. Outline of the seminar is based on Abstract Interpretation: Past, Present and Future.



© ParaDiSe Laboratory, 1998–2024