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 parallel and distributed systems.

The meetings are held on Mondays at the Faculty of Informatics (room B410), Masaryk University, starting at 10:00. Presentations are usually one hour in length.

Seminar Programme — Spring 2014