Second atelier international sur l'analyse statique et la biologie des systèmes, à Venise, en Italie
13 Septembre 2011 - 13 Septembre 2011
Italie
Le second atelier international sur l'analyse statique et la biologie des systèmes se tiendra le 13 septembre 2011 à Venise, en Italie.
De nombreux modèles biologiques possèdent une complexité combinatoire élevée. Plusieurs méthodes ont été proposées pour faire face à cette situation. Certaines sont informelles et sont validées de façon expérimentale. Par contraste, les méthodes formelles échelonnables statiques fondées sur l'analyse sont capables de fournir une caractérisation formelle des éléments informatisés. En étant automatiques, facilement réutilisables, et en offrant des critères de solidité formelle, les analyses statiques peuvent permettre de concevoir des modèles, des modèles de test correspondant aux données expérimentales, et en prévoyant le comportement du système étant modelé.
Cet atelier vise à promouvoir le débat et la collaboration entre les biologistes (modélisateurs), les scientifiques informatiques (en analyse statique) et les mathématiciens appliqués autour de la conception et de l'utilisation des méthodes d'analyse statique pour les modèles biologiques. Le programme de l'atelier abordera les thèmes suivants:
- les défis d'obstruction pour l'analyse statique des modèles biologiques;
- les nouveaux cadres d'analyse statique;
- les expériences de modélisation utilisant l'analyse statique;
- les méthodes informelles (qui pourraient être candidates à la formalisation et l'automatisation).Pour de plus amples informations, consulter: http://www.di.ens.fr/sasb2011/(s’ouvre dans une nouvelle fenêtre)
De nombreux modèles biologiques possèdent une complexité combinatoire élevée. Plusieurs méthodes ont été proposées pour faire face à cette situation. Certaines sont informelles et sont validées de façon expérimentale. Par contraste, les méthodes formelles échelonnables statiques fondées sur l'analyse sont capables de fournir une caractérisation formelle des éléments informatisés. En étant automatiques, facilement réutilisables, et en offrant des critères de solidité formelle, les analyses statiques peuvent permettre de concevoir des modèles, des modèles de test correspondant aux données expérimentales, et en prévoyant le comportement du système étant modelé.
Cet atelier vise à promouvoir le débat et la collaboration entre les biologistes (modélisateurs), les scientifiques informatiques (en analyse statique) et les mathématiciens appliqués autour de la conception et de l'utilisation des méthodes d'analyse statique pour les modèles biologiques. Le programme de l'atelier abordera les thèmes suivants:
- les défis d'obstruction pour l'analyse statique des modèles biologiques;
- les nouveaux cadres d'analyse statique;
- les expériences de modélisation utilisant l'analyse statique;
- les méthodes informelles (qui pourraient être candidates à la formalisation et l'automatisation).Pour de plus amples informations, consulter: http://www.di.ens.fr/sasb2011/(s’ouvre dans une nouvelle fenêtre)