This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Computational Methods in Systems Biology, CMSB 2012, held in London, UK, during October 3-5, 2012. The 17 revised full papers and 8 flash posters presented together with the summaries of 3 invited papers were carefully reviewed and selected from 62 submissions. The papers cover the analysis of biological systems, networks, and data ranging from intercellular to multiscale. Topics included high-performance computing, and for the first time papers on synthetic biology.

Inspired by the interesting contributions to the 6th Conference on Compu- tional Methods in Systems Biology (CMSB 2008) and the Dagstuhl Seminar 09091on"FormalMethods inMolecular Biology"inFebruary2009, papershave been selected for this special issue of the journal TransactionsonComputational Systems Biology, under the title Modeling Methodologies. The special issue starts with a position paper on "Biomodel Engineering - from Structure to Behavior," which discusses the potential that concepts from traditional computing science hold for creating more powerful models of biol- ical systems and identi?es venues for challenging future research. The technical contributions of the special issue covera broadrangeof mod- ing methodologies that have recently been developed in computational systems biology. First, twonewmodelinglanguagesarepresented.The"Attributed?-Calculus withPriorities"presentsacombinationofaconcurrentprocesslanguage, i.e., the ?-calculus, and a sequential core language, i.e., the ?-calculus; being equipped withprioritiesthelanguageenablesthedescriptionofdiversespatialphenomena, di?erent kinetics, as well as an individual-based and population-based modeling of biological systems. It is shown how the di?erent dialects of the ? calculus, including the pi@-calculus, can be expressed. Its stochastic semantic is ?rmly rooted in CMTC's and is re?ected in the stochastic simulator.

This volume contains the proceedings of the 6th Conference on Computational Methods in Systems Biology (CMSB) held in October 2008 in Rostock/ Warnemunde. ] The CMSB conference series was established in 2003 to promote the c- vergence of (1) modelers, physicists, mathematicians, and theoretical computer scientists from ?elds such as language design, concurrency theory, software ve- ?cation, and (2) molecular biologists, physicians, neuroscientists joined by their interest in a systems-level understanding of cellular physiology and pathology. Sincethistime, theconferencehastakenplaceannually. Theconferencehasbeen held in Italy, France, and the UK, and we were glad to host CMSB in Germany for the ?rst time. The summaries of the invited talks by Hidde de Jong, Jane Hillston, Koichi Takahashi, Nicolas Le Novere, and Dieter Oesterhelt are included at the - ginning of the proceedings. The 21 regular papers cover theoretical or applied contributions that are motivated by a biological question focusing on modeling approaches, including process algebra, simulation approaches, analysis methods, in particular model checking and ?ux analysis, and case studies. They were - lected out of more than 60 submissions by a careful reviewing process. Each paper received at least three reviews from members of the Program Committee consistingof27renownedscientistsfromsevencountries. We wouldliketothank all members of the Program Committee and the referees for the thorough and insightful reviews and the constructive discussions. Due to the number of hi- quality submissions, the decision on which papers to accept or reject was not easy. Therefore, we integrated a rebuttal phase for the ?rst tim

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29 October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ?ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i?cation and testing of communication systems and distributed systems, and the veri?cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume."