This is the first monograph on computation in living cells - one of the central and fastest growing areas of research in this field. Gene assembly in ciliates (unicellular organisms) is a splendid example of such computations. This work has helped to clarify important biological aspects of gene assembly, yielded novel insights into the nature of computation, and broadened our understanding of what computation is about. The monograph gives an accessible account of both the biology and the formal analysis of the gene assembly process. It can be used as a textbook for either graduate courses or seminars.

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This, the 14th Transactions on Computational Systems Biology volume, guest edited by Ion Petre and Erik de Vink, focuses on Computational Models for Cell Processes and features a number of carefully selected and enhanced contributions, initially presented at the CompMod workshop, which took place in Aachen, Germany, in September 2011. The papers, written from different points of view and following various approaches, cover a wide range of topics within the field of modeling and analysis of biological systems. In addition, two regular submissions deal with models of self-assembling systems and metabolic constraints on the evolution of genetic codes.

This is the first monograph on computation in living cells - one of the central and fastest growing areas of research in this field. Gene assembly in ciliates (unicellular organisms) is a splendid example of such computations. This work has helped to clarify important biological aspects of gene assembly, yielded novel insights into the nature of computation, and broadened our understanding of what computation is about. The monograph gives an accessible account of both the biology and the formal analysis of the gene assembly process. It can be used as a textbook for either graduate courses or seminars.

This book constitutes the refereed proceedings of the 10th International Conference on Unconventional Computation, UC 2011, held in Turku, Finland, in June 2011. The 17 revised full papers presented together with 6 extended abstracts of invited talks, and 3 extended abstracts of tutorials were carefully reviewed and selected from 33 initial submissions. The papers are devoted to all aspects of unconventional computation theory as well as experiments and applications. Typical topics are: natural computing including quantum, cellular, molecular, membrane, neural, and evolutionary computing, as well as chaos and dynamical system-based computing, and various proposals for computational mechanisms that go beyond the Turing model.

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This, the 13th Transactions on Computational Systems Biology volume, guest edited by Ralph-Johan Back, Ion Petre, and Erik de Vink, focuses on Computational Models for Cell Processes and features a number of carefully selected and enhanced contributions initially presented at the CompMod workshop, which took place in Eindhoven, The Netherlands, in November 2009. From different points of view and following various approaches, the papers cover a wide range of topics in systems biology, addressing the dynamics and the computational principles of this emerging field.

Biology is witnessing a transformation towards a more quantitative science, based on the major technological breakthroughs of the past decade. In this transformation, biology is incorporating mathematical modeling techniques and computational approaches towards numerical simulations, model analysis, and quantitativepredictions.An importantgoalis to formalizeandanalyzethe ev- changing inter-connections between components (often on di?erent time and space scales), their in?uence on one another, regulatory patterns, alternative pathways, etc. Formal reasoning rather than empirical observations is the main driving force in this new type of biological research.At the same time, computer science and applied mathematics are faced with considerable methodological challenges in handling an unprecedented level of concurrency, stochastic e?ects, amixoflargeandsmallpopulations,combinatorialexplosionsinthe statespace, model re?nement, and model (de)composition, etc. ThisspecialissueofTransactionsonComputationalSystemsBiologyonC- putationalModels forCellProcessesisbasedonaworkshopwith thesamename that took place in Turku, Finland, on May 27, 2008. The workshop was or- nized as a satellite event of the 15th International Symposium on Formal Me- ods that took place in Turku in the period May 28-31, 2008. This special issue however had an open call for paper submissions, with a separate peer-review process. The accepted papers span an interesting mix of approaches to systems biology, ranging from quantitative to qualitative techniques, from continuous to discrete mathematics, from deterministic to stochastic methods, from compu- tional models for biology to computing paradigms inspired by biology. Overall, they give a good glimpse into some of the exciting current research avenues in computational systems biology.

This book constitutes the refereed proceedings of the 20th International Conference on Computational Methods in Systems Biology, CMSB 2022, held in Bucharest, Romania, in September 2022.The 13 full papers and 4 tool papers were carefully reviewed and selected from 43 submissions. CMSB focuses on modeling, simulation, analysis, design and control of biological systems. The papers are arranged thematically as follows: Chemical reaction networks; Boolean networks; continuous and hybrid models; machine learning; software.

This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and geometry; cryptography and information theory; formal languages and automata theory; and history and philosophy of computing.