Systems Biology is a stimulating field of application for computer scientists and a promising resource for biologists. The scope of this workshop is to gather researchers in formal methods that are interested at the convergence between Computer Science with Biology and life sciences. In particular, we solicit contribution of original results that address on both theoretical (modelling, analysis, and validation techniques) and applied aspects of biological behaviour: from the representation of biological scenarios to the validation and testing of relevant biological properties and the related simulations and development tools.
Jean Krivine, Angelo Troina (2010). CS2Bio'10: 1st International Workshop on Interactions between Computer Science and Biology. Amsterdam : Elsevier [10.1016/j.entcs.2010.12.001].
CS2Bio'10: 1st International Workshop on Interactions between Computer Science and Biology
TROINA, ANGELO
2010
Abstract
Systems Biology is a stimulating field of application for computer scientists and a promising resource for biologists. The scope of this workshop is to gather researchers in formal methods that are interested at the convergence between Computer Science with Biology and life sciences. In particular, we solicit contribution of original results that address on both theoretical (modelling, analysis, and validation techniques) and applied aspects of biological behaviour: from the representation of biological scenarios to the validation and testing of relevant biological properties and the related simulations and development tools.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
