[ecoop-info] CfP: Special issue of Trans Comp Sys Biol on "Computational models for cell processes"

[Ion Petre]

Call for papers: Transactions on Computational Systems Biology, special
issue on “Computational models for cell processes”. Submission deadline:
March 31, 2010
	http://combio.abo.fi/special_issue_10.php

Guest editors:
-	Ralph Johan Back (Åbo Akademi University, Finland)
-	Ion Petre (Åbo Akademi University, Finland)
-	Corrado Priami (Microsoft Research - University of Trento, Centre
for Computational and Systems Biology, Italy)
-	Erik de Vink (Eindhoven University of Technology, the Netherlands)

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

The list of topics is suggestive rather than exhaustive. We are open to a
wide range of approaches from theoretical methodological papers to case
studies. Papers should be submitted to ipetre at abo.fi in the LNCS format (see
link below). Manuscripts submitted to this special issue should have at most
25 pages, including figures, tables, and the list of references.

For queries about this special issue, please feel free to contact the
special issue guest editors, Ralph-Johan Back (backrj at abo.fi), Ion Petre
(ipetre at abo.fi), Corrado Priami (priami at cosbi.eu), and Erik de
Vink(evink at win.tue.nl).

Important dates:
-	Paper submissions: March 31, 2010
-	Acceptance notification: June 30, 2010
-	Final papers: August 31, 2010

Submission guidelines: 
-	http://www.springer.com/computer/lncs
-	http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0