Evènement pour le groupe Séminaire Méthodes Formelles

Date 2017-11-07  11:00-12:00
TitreFormal methods for capturing dynamics of biological networks 
RésuméComputational models of biological networks aim at reporting the indirect influences between the different molecular entities acting within the cell (genes, RNA, proteins, ...). In this talk, I will give an overview of methods for the formal assessment of dynamics of biological networks by static analysis. After an introduction to Boolean networks and their relevance for modelling cell signalling and gene regulatory networks, I'll present an abstract interpretation of their trajectories based on a causal analysis. Then, I'll show how we can combine this abstraction with SAT approches to address systems biology challenges, such as model identification and cell reprogramming. 
OrateurLoïc Paulevé 
UrlLRI - Paris Sud 

Aucun document lié à cet événement.

Retour à l'index