Systems Biology is a stimulating field of application for computer scientists and a promising resource for biologists. The aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science and Life Sciences. Topics of interest include, but shall not be limited to: Formal Biological Modelling: Formal methods for the representation of biological systems and their dynamics (rewrite systems, process calculi, Petri nets, graph grammars, hybrid systems, etc.); Theoretical links and comparisons between different formal models for the modelling of biological processes; Quantitative (probabilistic, timed, stochastic, etc.) languages and calculi; Spatial (geometrical, topological) languages and calculi; Prediction of biological behaviour from incomplete information; Model checking, abstract interpretation, type systems, etc. Novel Computational Paradigms for Understanding Biological Complex Systems: Quantum information and life sciences; Geometry, algebraic and computational topology and biomathematics; Information processing and biomedicine; Statistical mechanics and biophysics. Tools and Simulations: Modelling, analysis and simulation tools for systems biology; Emergence of properties in complex biological systems; Tools for parallel, distributed, and multi-resolution simulation methods; Detailed biological case-studies.
CS2Bio: 4th International Workshop on Interactions between Computer Science and Biology
MERELLI, Emanuela;
2013-01-01
Abstract
Systems Biology is a stimulating field of application for computer scientists and a promising resource for biologists. The aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science and Life Sciences. Topics of interest include, but shall not be limited to: Formal Biological Modelling: Formal methods for the representation of biological systems and their dynamics (rewrite systems, process calculi, Petri nets, graph grammars, hybrid systems, etc.); Theoretical links and comparisons between different formal models for the modelling of biological processes; Quantitative (probabilistic, timed, stochastic, etc.) languages and calculi; Spatial (geometrical, topological) languages and calculi; Prediction of biological behaviour from incomplete information; Model checking, abstract interpretation, type systems, etc. Novel Computational Paradigms for Understanding Biological Complex Systems: Quantum information and life sciences; Geometry, algebraic and computational topology and biomathematics; Information processing and biomedicine; Statistical mechanics and biophysics. Tools and Simulations: Modelling, analysis and simulation tools for systems biology; Emergence of properties in complex biological systems; Tools for parallel, distributed, and multi-resolution simulation methods; Detailed biological case-studies.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
