The SYMBIONT Project: Symbolic Methods for Biological Networks

François Boulier (1, 2) , François Fages (3) , Ovidiu Radulescu (4) , Satya S Samal (5) , Andreas Schuppert (6) , Werner M. Seiler (7) , Thomas Sturm (8, 9) , Sebastian Walcher (5) , Andreas Weber (10)

1 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
2 GAIA - Géométrie, Algèbre, Informatique, Applications
3 Lifeware - Computational systems biology and optimization
4 UM - Université de Montpellier
5 RWTH - Rheinisch-Westfälische Technische Hochschule Aachen University
6 Bayer Technology Services [Leverkusen]
7 Universität Kassel [Kassel]
8 CNRS - Centre National de la Recherche Scientifique
9 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
10 Rheinische Friedrich-Wilhelms-Universität Bonn

SYMBIONT ranges from mathematics via computer science to systems biology, with a balanced team of researchers from those fields. At the present stage the project has a clear focus on fundamental research on mathematical methods and prototypes in software. Results are systematically bench-marked against models from computational biology databases. We summarize the motivation and aims for the project, and report on some existing results.

Domaines: Calcul formel [cs.SC]; Sciences du Vivant [q-bio]; Chimie

François Boulier, François Fages, Ovidiu Radulescu, Satya S Samal, Andreas Schuppert, et al.. The SYMBIONT Project: Symbolic Methods for Biological Networks. 2018. ⟨hal-01889825⟩