École thématique CNRS

Modélisation Formelle de Réseaux de Régulation Biologique

Ile de Porquerolles du 23 au 28 juin 2019


L'école a lieu tous les trois ans:
Liens vers l'édition 2016
Liens vers l'édition 2013
Liens vers l'édition 2010




Programme Inscription Accès Comités Contacts Participants Photos




Présentation

Les 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. Pour des raisons historiques, la communauté francophone est à la pointe de la recherche mondiale dans ce domaine. 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.

Dans cette école, une palette complète des différents cadres de modélisations est présentée au travers de cours pédagogiques d'une demi journée, durant lesquels les participants seront encouragés à interagir largement avec les intervenants. Selon le lieu, divers M2 de bio-informatique intègrent un enseignement sur telle ou telle approche formelle pour certains types de réseaux biologiques mais aucune formation n'offre un socle commun solide ce qui est l'objectif de cette école.

L'école a lieu tous les trois ans.


Programme

Lundi 24 juin

8h30 - 12h (avec pause café à 10h)
Méthode logique multivaluée de Thomas et logique temporelle
Gilles Bernot / Jean-Paul Comet

15h30 - 19h (avec pause café à 17h)
Introduction à la chronobiologie
Franck Delaunay

Mardi 25 juin

8h30 - 12h (avec pause café à 10h)
Interprétation abstraite de modèles de voies de signalisation intracellulaire
Jérôme Feret

15h30 - 19h (avec pause café à 17h)
Réseaux métaboliques
Sabine Pérès / Caroline Baroukh

Mercredi 26 juin

8h30 - 12h (avec pause café à 10h)
Programmation par ensemble-réponse, applications à l'étude de graphes d'interactions à grande échelle
Anne Siegel

15h30 - 19h (avec pause café à 17h)
Méthodes formelles pour la biologie des systèmes - I
François Fages

Jeudi 27 juin

8h30 - 12h (avec pause café à 10h)
Des données aux modèles hybrides
Olivier Roux

15h30 - 19h (avec pause café à 17h)
Méthodes formelles pour la biologie des systèmes - II
François Fages

Vendredi 28 juin

8h30 - 12h (avec pause café à 10h)
Modélisation de systèmes biologiques par réseaux d'automates
Sylvain Sené


Modalité d'inscription

Le nombre de places est limité à 40 personnes.
Les tarifs incluent les frais d'inscription et de séjour en pension complete, ainsi que la nuit du dimanche 23 au lundi 24.

Inscription anticipée

Inscription tardive

Etudiant / Doctorant:

320 €

370 €

Doctorant EDSTIC (Nice):

250 €

300 €

Postdoctorant:

400 €

450 €

Personnel académique non CNRS:

500 €

550 €

(enseignants-chercheurs, chercheurs, ingénieurs...)

Personnel CNRS:

0 €

0 €

Industriel:

900 €

1000 €

Accompagnateur:

430 €

500 €

Supplément chambre individuelle: 80 €

Les tarifs seront augmentés à partir du 17 mai.

Il y a deux étapes pour l'inscription.
  1. Vous devez d'abord effectuer une préinscription en utilisant le lien suivant: site d'inscription
    Au cours de cette phase de préinscription, vous pouvez seulement choisir l'option "chambre double" (il sera ensuite possible de choisir le supplément chambre simple dans l'étape suivante).

  2. Après votre préinscription, vous recevrez un courriel avec un lien à suivre pour finaliser votre inscription (ce n'est pas un courriel automatique et cela pourra prendre 1 ou 2 jours). Dans cette deuxième phase, vous devrez indiquer le moyen de paiement, vos dates d'arrivée et de départ.
    Finissez bien cette étape pour que votre inscription soit prise en compte.

Date limite d'inscription: le 14 juin 2019 (après cette date, il n'y aura plus moyen d'annuler une inscription).
Accès

Navette entre la Tour Fondue et Porquerolles

Porquerolles est une île sur la côte d'Azur, à proximité de Hyères et de Toulon; le seul accès possible est en bateau, de puis la Tour Fondue. La traversée dure 20min environ. Les horaires de départ sont les suivants (plus d'information ici):

Depuis la Tour Fondu: 7h30, 9h00, 9h30, 10h00, 10h30, 11h00, 11h30, 12h00, 12h30, 13h30, 14h30, 15h30, 16h30, 17h30, 18h30.

Depuis Porquerolles: 8h30, 09h30, 10h30, 11h30, 14h00, 15h00, 16h00, 17h00, 18h00, 19h00.

Bus entre Hyères et la Tour Fondue

La ville la plus proche de la Tour Fondu desservie par la SNCF est Hyères. Depuis la gare de Hyères, la ligne de bus 67 dessert la Tour Fondue. Les horaires de ce bus sont disponibles ici.

Une fois sur l'île de Porquerolles

L'école est hébergée par le centre Igesa de Porquerolles, rue de la Douane, à 5 minutes de marche de l'arrivée du bateau.



Comité scientifique

Gilles Bernot - I3S, UNS-UCA, Sophia Antipolis
Laurence Calzone - Institut Curie, Paris
Jean-Paul Comet - I3S, UNS-UCA, Sophia Antipolis
François Fages - INRIA Saclay
Elisabeth Rémi - CNRS, IML, Marseille
Sylvain Sené - LIF Marseille
Anne Siegel - IRISA, Rennes


Comité d'organisation

Gilles Bernot - I3S, UNS-UCA, Sophia Antipolis
Déborah Boyenval - I3S, UNS-UCA, Sophia Antipolis
Madalena Chaves - INRIA, Sophia Antipolis
Hélène Collavizza - I3S, UNS-UCA, Sophia Antipolis
Jean-Paul Comet - I3S, UNS-UCA, Sophia Antipolis
Patrick Coquillard - I3S, UNS-UCA, Sophia Antipolis
Corinne Jullien - I3S, UNS-UCA, Sophia Antipolis


Contact (responsable scientifique)

Jean-Paul Comet
Jean-Paul.Comet-at-univ-cotedazur.fr
04 89 15 43 49


Participants



Photos