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 2009
Overview of research in ParaDiSe

The goal of this part of the seminar is to let the people from each ParaDiSe group introduce problems they are working on, describe their current research goals and research achievemnts, and summarize contents of their recent publications.

Hybrid Systems: Modeling, Analysis, and Control

In the second part of the seminar, we will go through a course on Hybrid Systems as given at Standford University in Spring 2005. The details for the course are available here.
© ParaDiSe Laboratory, 1998–2024