posted by system || 2212 views || tracked by 6 users: [display]

CMSB 2009 : International Conference on Computational Methods in Systems Biology


Conference Series : Computational Methods in Systems Biology
When Aug 31, 2009 - Sep 1, 2009
Where Bologna, Italy
Abstract Registration Due Mar 16, 2009
Submission Deadline Mar 23, 2009
Notification Due May 18, 2009
Final Version Due Jun 15, 2009
Categories    computational biology

Call For Papers

International Conference on
(CMSB 2009)
(first call for papers)
August 31 -- September 1, 2009
Bologna, Italy

The CMSB (Computational Methods in Systems Biology) conference series
was established in 2003 to help catalyze the convergence of modelers,
physicists, mathematicians, and theoretical computer scientists (from
fields such as language design, concurrency theory, program
verification) with molecular biologists, physicians and neuroscientists
interested in a systems-level understanding of cellular physiology and

CMSB 2009 solicits original research articles, surveys of current
research and posters. These may cover theoretical or applied
contributions that are motivated by a biological question and can
demonstrate actual or potential usefulness towards answering that
question. Additionally, they may cover models of computation inspired
by biological processes; of which the motivation may be either
computational or biological. In particular, relevant case studies and
open biological questions that demand modeling of systems are of
significant interest.

Topics of interest (biological systems and networks: inference,
properties, modeling, dynamics, simulation and reverse engineering)
include, but are not limited to:

* Re-engineering and synthesis of biological systems and networks
* Definition and study of theoretical properties of
biologically-inspired formal languages
* Qualitative and quantitative languages and calculi
* Theoretical comparisons between different formal models of
cellular processes
* Models including symbolic evolution and learning
* Spatial, multi-level, and multi-formalism modeling

* Simulation and analysis methods for computational biology
* Biologically-inspired extensions to concurrency theory,
constraint programming, logical methods or language equivalences
* Emergence of properties in complex biological systems
* Parallel, distributed, and multi-resolution simulation methods
* Methods to predict biological network behavior from incomplete

* Modeling, analysis and simulation tools
* Differential, discrete and/or stochastic modeling-language
* Visualization methods for computational biology
* Biological databases and exchange formats for biological data
and standards

* Detailed biological case-studies on which formal models
successfully apply
* Computer models in nano-sciences applied to biological domains
* Model-driven analysis of biological systems

All submissions will be reviewed by the program committee.

The proceedings of the conference will be published with Springer
under the series named Lecture Notes in Bioinformatics, sub-series of
Lecture Notes in Computer Science.

The best papers presented at the Conference will be selected for a
special issue of a Journal.

Important Dates
March, 16: Submission of abstracts
March, 23: Submission of full papers
May, 18: Notification of acceptance/rejection
June, 15: Revised version of accepted papers due
August 31 -- September 1: Conference

Pierpaolo Degano, Università di Pisa, Italy (co-chair)
Finn Drablos, Norwegian University of Science and Technology, Norway
François Fages, INRIA Rocquencourt, France
Stephen Gilmore, University of Edinburgh, UK
Roberto Gorrieri, Università di Bologna, Italy (co-chair)
Monika Heiner, TU Cottbus, Germany
Adaoha Elizabeth C. Ihekwaba, CoSBI, Italy
Marta Kwiatkowska, University of Oxford, UK
Pietro Liò, Computing Lab Cambridge, UK
Satoru Miyano, University of Tokyo, Japan
Mark van Rossum, University of Edinburgh, UK
Grzegorz Rozenberg, Leiden University, Leiden, NL
Carolyn Talcott, Stanford Research Institute, USA
Adelinde M. Uhrmacher, University of Rostock, Germany

Related Resources

ACM-BCB 2020   11th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics
IEEE--ICBCB--Ei and Scopus 2020   2020 IEEE 8th International Conference on Bioinformatics and Computational Biology (ICBCB 2020)--Ei Compendex, Scopus
ACM--ICSIE--Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
IComputation 2020   The 2020 IEEE Symposium on Immune Computation
IWBBIO 2020   International Work-Conference on Bioinformatics and Biomedical Engineering
EMNLP 2020   Conference on Empirical Methods in Natural Language Processing
CLNLP 2020   2020 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2020)
Recommender Systems 2020   Data Science for Next-Generation Recommender Systems
SEFM 2020   Software Engineering and Formal Methods
IPMU 2020   18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems