The SYMBIONT Project: Symbolic Methods for Biological Networks

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

1 LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 Lifeware - Computational systems biology and optimization
3 UM - Université de Montpellier
4 RWTH - Rheinisch-Westfälische Technische Hochschule Aachen University
5 Universität Kassel [Kassel]
6 Universität des Saarlandes [Saarbrücken]
7 MPII - Max-Planck-Institut für Informatik
8 MOSEL - Proof-oriented development of computer-based systems
9 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
10 Institut für Informatik II [Bonn]

Domaines: Informatique [cs]; Sciences du Vivant [q-bio]; Mathématiques [math]

François Boulier, Francois Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, et al.. The SYMBIONT Project: Symbolic Methods for Biological Networks. ISSAC 2018, Jul 2018, New York City, NY, United States. ⟨hal-02397143⟩