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

CMSB 2009 : International Conference on Computational Methods in Systems Biology

FacebookTwitterLinkedInGoogle


Conference Series : Computational Methods in Systems Biology
 
Link: http://cmsb09.cs.unibo.it/
 
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
COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
(CMSB 2009)
****************************************************
(first call for papers)
August 31 -- September 1, 2009
Bologna, Italy
http://cmsb09.cs.unibo.it/
*****************************************************

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
pathology.

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:

Modeling:
--------
* 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/Analysis:
-------------------
* 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
information

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

Applications:
------------
* 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


PROGRAM COMMITTEE (provisional)
-----------------
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

SCIS-ISIS 2022   Joint 12th International Conference on Soft Computing and Intelligent Systems and 23rd International Symposium on Advanced Intelligent Systems
ICBCB--Ei Compendex, Scopus 2022   2022 10th International Conference on Bioinformatics and Computational Biology (ICBCB 2022)--EI Compendex, Scopus
PACBB 2022   16th International Conference on Practical Applications of Computational Biology & Bioinformatics
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
IJAB 2022   International Journal of Advances in Biology
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
RECOMB-CG 2022   RECOMB-CG 2022: The 19th RECOMB Satellite Conference on Comparative Genomics
ETCI 2022   The Second International Conference on Emerging Techniques in Computational Intelligence
IJCNN 2023   International Joint Conference on Neural Networks
IEEE SSCI 2023   2023 IEEE Symposium Series on Computational Intelligence