Logical models have long been used to explore the dynamical behaviours of regulatory networks. Over the past years, the types of available data that nourish the models or that the models need to explain has led to the development and the evolvement of modelling methods and tools in order to answer more specific problems. Indeed, logical modelling has become more and more reliant on transcriptomic, proteomic and epigenetic data.
The scope of this workshop is to provide an overview of the recent developments on methods and present applications of the use of the logical formalism for the modelling of regulatory networks.
Following a community effort with the CoLoMoTo consortium to promote the exchange of models and to improve existing methods, we propose a workshop that will also expose the advances in the understanding of signalling pathways, cell differentiation, cell reprogramming or cell metabolism, etc.
Methods for high-dimensional state spaces: model-checking, reduction techniques, etc;
Inference of logical rules based on data;
Entrainment methods of logical models to fit the data;
Applications of logical models to diseases.
We will divide the day into presentations of keynote speakers and presentations selected from submitted abstracts. A morning session will be dedicated to methods and tools and the afternoon session to modelling applications to cell biology.