Inizio della pagina -
Visita la Versione ad elevata leggibilità
Vai al Contenuto della pagina
Vai alla Fine dei contenuti
Vai al Menu Principale
Vai alla Barra di navigazione (sei in)
Vai al Menu di navigazione (albero)
Vai alla Lista dei comandi
Vai alla Lista degli approfondimenti
Vai al Menu inferiore
Logo Ateneo
Dynamic Processes (Computations) within a Static Depository of Knowledge: A Framework for Exploring Biology


Prof. Dr. Grzegorz Rozenberg
Leiden University, The Netherlands
University of Colorado in Boulder, USA


Period and location


The lectures will be held in Bicocca U14 building (viale Sarca 336/14)

5 - 16 October 2015


Registration: Send an email to





Topic - Aim organization

In this series of lectures we present a framework for exploring a
discipline of science, which takes into account the knowledge about it
and dynamic processes taking part within it. In particular, we apply
this framework to explore biology. It consists then of:

   A STATIC part which is a depository of knowledge formalized by the
notion of an extended zoom structure. The integrating structure of
such a depository allows one to deal with the hierarchical nature of

   A DYNAMIC part given by a family of reaction systems. They
originated as models for processes instigated by the functioning of
living cells, and they address two important aspects of biology:
non-permanency of its entities and open system aspect of biological
units such as living cells.

In this setup the depository of static knowledge given by an extended
zoom structure is explored by computations/processes provided by
reaction systems, where this exploration can use/integrate knowledge
present on different levels (e.g., atomic, cellular, organisms,
species, .... levels).

Research topics in this framework are motivated by biological
considerations as well as by the need to understand the underlying
structure of knowledge as well as the structure of computations
exploring this knowledge. The models we discuss turned out to be novel
and attractive also from the theory of computation point of view.

The lectures are of interest to mathematicians and computer scientists
interested in formal models of computation and in modelling biological
processes as well as to bioinformaticians, biochemists, and biologists
interested in foundational/formal understanding of biological
processes. They are of a tutorial style and self-contained. In
particular, no prior knowledge of biochemistry or cell biology is

The presented  framework was developed jointly with A. Ehrenfeucht
from University of Colorado at Boulder

Final Examination
Operating methods
Educational Material
Nessun approfondimento presente per questa pagina

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14 - ultimo aggiornamento di questa pagina 08/06/2015