École thématique - Modélisation Formelle de Réseaux de Régulation Biologique

L'école thématique "Modélisation Formelle de Réseaux de Régulation Biologique" a lieu tous les 3 ans, depuis 2010, avec malheureusement un retard d'un an de cette édition dû à la crise CoViD19. 
La voici de retour avec des nouveautés.


PRÉSENTATION :


L'Intelligence Artificielle symbolique et ses méthodes formelles issues de l'informatique se sont avérées très efficaces pour modéliser les réseaux de régulation biologique et élucider les liens de causalités entre interactions moléculaires d'une part, et phénotypes biologiques d'autre part. La modélisation formelle des réseaux de régulation biologique participe activement aux avancées en « biologie des systèmes » et en « biologie synthétique » qui sont devenues des thèmes prioritaires de recherche pluridisciplinaire entre biologie, informatique, mathématique et physique-chimie théorique.

Il s'avère que la communauté francophone est à la pointe de la recherche mondiale dans ce domaine et cette école, francophone, présente une palette complète des différents cadres de modélisations (un par demi-journée), avec un renforcement notable vers les nouvelles méthodes d'apprentissage automatique. Les modalités pédagogiques ouvrent de nombreuses plages durant lesquels les participants interagissent largement avec les intervenants.


LISTE DES ENSEIGNEMENTS :


* Gilles Bernot / Jean-Paul Comet : Méthodes formelles pour la modélisation discrète de R. Thomas
* Franck Delaunay : Introduction à la chronobiologie
* Anne Siegel : Programmation par ensemble-réponse, application à l'étude de graphes d'interactions à grande échelle
* François Fages :
   a) Réseaux biochimiques à base de règles
   b) La cellule, un calculateur analogique chimique

* Christophe Bécavin : machine learning pour la reconstruction de réseau biologique à partir de données omiques
* Maxime Folschette : Modélisation, analyse et inférence de paramètres pour les réseaux de régulation hybrides
* Sabine Pérès : Modélisation métabolique
* Joachim Niehren : Interprétation abstraite de réseaux de réactions pour la prédiction de Knock-Out
* Sylvain Sené : Réseaux d'automates et systèmes biologiques : plongée au cœur du calcul naturel


INFORMATIONS COMPLÉMENTAIRES ET INSCRIPTIONS :

http://www.i3s.unice.fr/bioregul/
Les inscriptions seront ouvertes sous peu.
Le nombre de place est limité à 30 personnes : premiers arrivés, premiers servis.