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 2007
Model-Checking of Biological Systems

Systems biology is the study of an organism, viewed as an integrated and interacting network of genes, proteins and biochemical reactions which give rise to life. It integrates experimental and modelling approaches to explain the structure and dynamical properties of biological systems. It aims at building predictive models and simulations of these systems.

The seminar addresses a variety of modelling approaches which have been successfully applied to complex biological systems in the recent years. The seminar will cover, among others, Petri nets, logic-based approaches and model-checking techniques.

Part of the seminar is devoted to original results achieved by the ParaDiSe team under the 6th framework NEST-PATH-COM project EC-MOAN - Scalable Modeling and Analysis Techniques to Study Emergent Cell Behavior.