presentation summary objectives and scientific challenges working schedule affiliated events members and frequent collaborators publications


Formal abstraction of quantitative semantics for protein-protein interaction cellular network models.

AbstractCell is a long-term Junior Chair of Excellence, that is supported by the ANR (French national research agency). The project started December 1st, 2009, and will last until November 30th, 2013.

Main goal

We want to investigate formal foundations and computational aspects of both the stochastic and differential approximate semantics for rule-based models: we will relate these semantics formally, then we will design sound approximations for each of these semantics (by abstract interpretation) and investigate scalable algorithms to compute the properties of both the stochastic and the differential semantics. Our approximations focus only on certain projections, thereby reducing the dimension of semantics.

Co-ordinator contact detail

    Jérôme FERET
    École normale supérieure
    Département d'informatique
    45 rue d'Ulm
    F-75230 Paris cedex 05 (France)
    tel: +33 1 44 32 37 66
    fax: +33 1 44 32 21 51
    email: jerome.feret@ens.fr
    URL: http://www.di.ens.fr/~feret