The aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science, Biology and the Life Sciences. In particular, in this 5th edition, we solicit the contribution of original results, from any research areas, such as Mathematics, Physics, Complex Systems, and Computational Science that address both theoretical aspects of modelling and applied work on the comprehension of biological behaviour. Furthermore, to facilitate the integration of different research areas we encourage the presentation of main objectives and preliminary results of active projects on the CS2Bio topics conducted by interdisciplinary teams. Papers selected for presentation at CS2Bio should either present the modelling of a specific biological phenomenon using formal techniques, or a modelling, simulation, testing or verification approach in computer science that leads to a novel and promising application to a range of biological or medical systems. In the latter case, some emphasis on the scope and scalability of the approach will be required. The workshop intends to attract researchers interested in models, verification, tools, and programming primitives concerning the complex interactions encountered. In general, topics of interest include, but are not limited to: Formal Biological Modelling Formal methods for the representation of biological systems and their dynamics; Theoretical links and comparison 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; Computational topology and biomathematics; Information processing and biomedicine; Statistical mechanics and biophysics. Complex Networks and biomolecular dynamics Tools and Simulation Modelling, analysis and simulation tools for systems biology; Emergence of properties in complex biological and medical systems; Tools for parallel, distributed, and multi-resolution simulation methods; Detailed biological case-studies.

Cs2Bio: 5th International Workshop on Interactions between Computer Science and Biology

MERELLI, Emanuela;
2014-01-01

Abstract

The aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science, Biology and the Life Sciences. In particular, in this 5th edition, we solicit the contribution of original results, from any research areas, such as Mathematics, Physics, Complex Systems, and Computational Science that address both theoretical aspects of modelling and applied work on the comprehension of biological behaviour. Furthermore, to facilitate the integration of different research areas we encourage the presentation of main objectives and preliminary results of active projects on the CS2Bio topics conducted by interdisciplinary teams. Papers selected for presentation at CS2Bio should either present the modelling of a specific biological phenomenon using formal techniques, or a modelling, simulation, testing or verification approach in computer science that leads to a novel and promising application to a range of biological or medical systems. In the latter case, some emphasis on the scope and scalability of the approach will be required. The workshop intends to attract researchers interested in models, verification, tools, and programming primitives concerning the complex interactions encountered. In general, topics of interest include, but are not limited to: Formal Biological Modelling Formal methods for the representation of biological systems and their dynamics; Theoretical links and comparison 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; Computational topology and biomathematics; Information processing and biomedicine; Statistical mechanics and biophysics. Complex Networks and biomolecular dynamics Tools and Simulation Modelling, analysis and simulation tools for systems biology; Emergence of properties in complex biological and medical systems; Tools for parallel, distributed, and multi-resolution simulation methods; Detailed biological case-studies.
2014
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/11581/314591
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact