| CS2BIO’13: 4th International Workshop on Interactions between Computer Science and Biology | |
|
Italy - Florence |
|
| Hosted by: | DisCoTec |
| Dates: | Jun 06, 2013 through Jun 06, 2013 |
| Call for Proceedings Presentations: | 2013-01-15 through 2013-03-26 |
| Event Registration: | 2013-01-01 through 2013-06-06 |
| Early Registration Deadline: | 2013-05-05 |
|
Description |
|
| 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. |
|
| Additional Information | |
| Event URL: | http://cs2bio13.di.unito.it/ |
| ISCB Member Discount: | None |
While ISCB provides for conference and event listings that may be of interest to members and bioinformaticians at large, ISCB is not responsible for the content provided by outside sources. Such listings are not meant as an endorsement by ISCB.
