Scope The scope is to include theoretical and applied aspects of concurrent and distributed systems in the modelling, analysis, simulation and validation of biological properties. The workshop intends to attract researchers interested in models, verification, tools, and programming primitives concerning such complex interactions. We strongly encourage the submission of works carried on in collaboration between computer scientists and biologists. Topics of interest include, but shall not be limited to: Formal Biological Modelling: * Formal methods for the representation of biological systems (rewrite systems, process calculi, 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. Formal Testing and Validation of Biological Properties: * Prediction of biological behaviour from incomplete information; * Model Checking, Abstract Interpretation, Type Systems, etc. 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.

1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10)

TROINA, ANGELO
2010-01-01

Abstract

Scope The scope is to include theoretical and applied aspects of concurrent and distributed systems in the modelling, analysis, simulation and validation of biological properties. The workshop intends to attract researchers interested in models, verification, tools, and programming primitives concerning such complex interactions. We strongly encourage the submission of works carried on in collaboration between computer scientists and biologists. Topics of interest include, but shall not be limited to: Formal Biological Modelling: * Formal methods for the representation of biological systems (rewrite systems, process calculi, 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. Formal Testing and Validation of Biological Properties: * Prediction of biological behaviour from incomplete information; * Model Checking, Abstract Interpretation, Type Systems, etc. 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.
http://cs2bio10.di.unito.it/
Systems Biologi
Jean Krivine; Angelo Troina
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/137706
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact