Call for papers: Transactions on Computational Systems Biology

21 Dec 2009

LNBI Transactions on Computational Systems Biology calls for paper submissions for a special issue on “Computational Models for Cell Processes”. Original papers and surveys are sought in all areas that relate to the relevance and potential of formal methods and computational modeling and simulation in systems biology.

Of special interest are contributions that present biological processes requiring special tools and techniques that have not been investigated so far in the context of formal methods, as well as extensions of already existing formalisms introduced to improve their applicability in the life sciences.

Topics of interest include, but are not limited to:

• Formal models for cellular pathways
• Qualitative biological modeling
• Quantitative formal methods
• Theoretical comparison of formalisms for biological processes
• Biologically-inspired extensions to formal methods and concurrency
  theory
• Differential, discrete and/or stochastic modeling languages
• Reconstruction of biological networks based on empirical data
• Decomposition and modularization of large biological networks
• Applications of formal methods and computational modeling 
• Membrane systems as a modeling platform

Important dates:

• Paper submissions: March 31, 2010
• Acceptance notification: June 30, 2010
• Final papers: August 31, 2010

To News list