École thématique de Modélisation Formelle de Réseaux de Régulation Biologique • Mathematics in Life Sciences • Department of Mathematics and Computer Science