Winner of the first international competition on Formal Methods in Molecular Biology - Leibniz Zentrum fuer Informatik - Dagstuhl (Germany), February 2009

CoSBi Lab is a software platform that implements a new conceptual modeling, analysis and simulation approach to quantitative, dynamic systems primarily inspired by algorithmic systems biology.
CoSBi Lab is intended to become a complete artificial laboratory in which it is possible to replicate in-silico all the activities that are usually performed in real wet labs.
CoSBi Lab is centered around the new programming language, BlenX, that is the core of our formal modeling facilities. BlenX is directly derived from process calculi and hence has concurrency as a primitive feature that helps simplify models to avoid the combinatorial explosion of variables.
CoSBi Lab supports Gillespie-based simulations as well as spatial diffusion of entities. Export of models in the SBML format is allowed. CoSBi Lab implements inference procedures for quantitative parameters needed to feed the BlenX models and to drive the simulation engines. The inference starts directly from various sources of data, including the outcome of wet lab experiments that can be mapped into time courses of concentrations.
CoSBi Lab offers a set of features to analyze the outcome of the experiments (simulations) that include the main statistical techniques as well as the visualization of networks of reactions and plots of concentrations.

Please address all general enquiries about CoSBiLab to CoSBi’s Development manager Lorenzo Dematté