CompMod 2013 - 4th International Workshop on Computational Models for Cell Processes

4th International Workshop on Computational Models for Cell Processes
CompMod 2013
June 11, 2013, Turku, Finland
Systems Biology is an exciting new application area for computer science. This workshop of iFM 2013 fosters an excellent platform gathering researchers in concurrency theory, formal methods, and related fields that are interested in the wealth of opportunities and challenges in systems biology. We welcome contributions that address both theoretical and applied contributions related to the relevance and potential of formal methods in 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 formal methods formalisms introduced to improve their applicability to biology. 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, 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