View: session overviewtalk overviewside by side with other conferences

09:15 | An algebraic approach for inferring and using symmetries in rule-based models SPEAKER: Jerome Feret ABSTRACT. Symmetries arise naturally in rule-based models, and under various forms. Besides automorphisms between site graphs, which are usually built within the semantics, symmetries can take the form of pairs of sites having the same capability of interactions, of some protein variants behaving exactly the same way, or of some linear, planar, or 3D molecular complexes which could be see modulo permutations of their axis and/or mirror-image symmetries. |

10:45 | Using answer set programming to integrate large-scale heterogeneous information about the response of a biological system SPEAKER: Anne Siegel ABSTRACT. The response of a biomolecular system is usually investigated thanks to heterogenous and incomplete data. More precisely, to address a control a biological system, we may have at hand only partial knowledge about molecular interactions together with observations of a subset of molecules. The issue we wish to address is how can take benefit of this multi-scale amount of information. In this talk, we will explain how answer set programming can be used both to model in a uniform langage several problem of data integration and to solve difficult combinatorial problems related to heregeneity and data incompleteness. All together, these modelling and solving technologies allow identifying robust controllers of biological systems. We will illustrate this on issues about metabolic networks and logical signaling networks. |

11:30 | Attractor equivalence: An observational semantics for reaction networks SPEAKER: Cedric Lhoussaine ABSTRACT. We study observational semantics for networks of chemical reactions as used in systems biology. Reaction networks without kinetic information, as we consider, can be identified with Petri nets. We present a new observational semantics for reaction networks that we call the attractor equivalence. The main idea of the attractor equivalence is to observe reachable attractors and reachability of an attractor divergence in all possible contexts. The attractor equivalence can support powerful simplifications for reaction networks as we illustrate at the example of the TetOn system. Alternative semantics based on bisimulations or traces, in contrast, do not support all needed simplifications. |

12:15 | A Logical Framework for Systems Biology SPEAKER: Joelle Despeyroux ABSTRACT. We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with worlds as instants of time, as an unified framework to encode both biological systems and temporal properties of their dynamic behaviour. To illustrate our methodology, we consider a model of the P53/Mdm2 DNA-damage repair mechanism. We prove several properties that are important for such a model to satisfy and serve to illustrate the promise of our approach. We formalize the proofs of these properties in the Coq Proof Assistant, with the help of a Lambda Prolog prover for partial automation of the proofs. |

14:30 | TBA SPEAKER: Alessandra Carbone |

15:15 | Model Checking the Evolution of Gene Regulatory Networks SPEAKER: Thomas Henzinger ABSTRACT. Evolutionary biologists use a weighted model of gene regulatory networks (GRNs) to define and simulate the robustness of biological
systems against genetic perturbations. By replacing simulation with model checking we achieve higher degrees of assurance, precision,
and scalability. We first present an algorithm for computing the robustness of a GRN with respect to viability properties expressed in
linear temporal logic. We then employ symbolic bounded model checking to compute the space of GRNs that satisfy a given property,
which amounts to synthesizing a set of linear constraints on symbolic weights. Finally, we compute the robustness of the satisfying
space against perturbations. We apply our method on a number of gene regulatory networks and compare its performance and
precision against simulation-based approaches. |

16:30 | The role of domain specific languages in simulation studies - Analyzing the impact of membrane dynamics on the Wnt signaling pathway SPEAKER: Adelinde Uhrmacher ABSTRACT. In a simulation study aimed at developing a model that answers questions of interest about a target system, phases of model development and refinement are interwoven with phases of experimentation. During this process, a variety of experiments are typically executed, including parameter scans, optimization, or sensitivity analysis. Domain-specific languages, their expressiveness and succinctness, play a central role, not only to describe and revise a model, but also to specify and generate experiments, and thus to facilitate their reproduction. We will elucidate this role with the external domain-specific language ML-Rules (a rule-based multi-level modeling language for biochemical systems), SESSL (an internal domain-specific language for specifying simulation experiments), and a case study analyzing the impact of membrane dynamics on the Wnt signaling pathway. |