[Socbin] 2nd call for papers: Trans on Comp Sys Biol, special issue on "Computational models for cell processes"

[Ion Petre]

Apologies for receiving multiple copies of this call.

Second call for papers: Transactions on Computational Systems Biology,
special issue on "Computational models for cell processes". 
Submission deadline: January 15, 2012

	http://combio.abo.fi/special_issue_12.php

Guest editors:
- Ion Petre (Abo 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 peer-reviewed special issue on "Computational Models for
Cell Processes". Original papers 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 of cellular pathways
- Qualitative biological modeling
- Quantitative formal methods
- Theoretical comparison of formalisms for biological processes
- Biologically-inspired extensions to formal methods, concurrency theory,
  or logical methods
- 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
- Process calculi as a biomodeling platform
- Formal methods for synthetic biology

The list of topics is suggestive rather than exhaustive. The call is open to
a wide range of approaches from 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. Manuscripts should
not have been published elsewhere, nor should they be under consideration
for publication in another journal or in a conference/workshop with
published proceedings.

For queries about this special issue, please feel free to contact the
special issue guest editors, 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: January 15, 2012
- Acceptance notification: April 15, 2012
- Final papers: May 31, 2012

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