SynCoP 2016

3rd International Workshop on Synthesis of Complex Parameters

Sunday 3rd of April 2016, Eindhoven, The Netherlands


Invited speakers

Gregory Batt Giorgio Delzanno
Gregory Batt Giorgio Delzanno
INRIA Paris-Rocquencourt, France DIBRIS, Genova, Italy

Gregory Batt

Title: What population reveals about individual cell identity: Single-cell parameter estimation of models of gene expression in yeast

Significant cell-to-cell heterogeneity is ubiquitously observed in isogenic cell populations. Consequently, parameters of models of intracellular processes, usually fitted to population-averaged data, should rather be fitted to individual cells to obtain a population of models of similar but non-identical individuals. Here, we propose a quantitative modeling framework that attributes specific parameter values to single cells for a standard model of gene expression. We combine high quality single-cell measurements of the response of yeast cells to repeated hyperosmotic shocks and state-of-the-art statistical inference approaches for mixed-effects models to infer multidimensional parameter distributions describing the population, and then derive specific parameters for individual cells. The analysis of single-cell parameters shows that single-cell identity (e.g. gene expression dynamics, cell size, growth rate, mother-daughter relationships) is, at least partially, captured by the parameter values of gene expression models (e.g. rates of transcription, translation and degradation). Our approach shows how to use the rich information contained into longitudinal single-cell data to infer parameters that can faithfully represent single-cell identity.

Giorgio Delzanno

Title: Parameterized Verification of Distributed Broadcast Protocols

We report on recent research lines related to a graph-based approach to parameterized verification of formal models of distributed algorithms and protocols. Verification algorithms for restricted classes of models exploit finite-state abstractions, symbolic representations based on graph orderings, the theory of well-structured transition systems, and reachability algorithms based on labeling procedures.