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. 
Lieu178 
OrateurLoïc Paulevé 
Emailhttps://loicpauleve.name/ 
UrlLRI - Paris Sud 



Aucun document lié à cet événement.

Retour
Retour à l'index