1. Réseaux booléens, dynamique, et graphe d'influence
2. Logiques temporelles et vérification de modèle
3. Mutations et reprogrammation cellulaire
4. D'autres modèles discrets pour modéliser les réseaux biologiques : réseaux de Petri et automates
5. Model-checking de modèles temporisés
- Manager: Morgan Magnin