Abstract:The fourth international workshop on Computational Models for Cell Processes (CompMod 2013) took place on June 11, 2013 at the Åbo Akademi University, Turku, Finland, in conjunction with iFM 2013. The first edition of the workshop (2008) took place in Turku, Finland, in conjunction with Formal Methods 2008, the second edition (2009) took place in Eindhoven, the Netherlands, as well in conjunction with Formal Methods 2009, and the third one took place in Aachen, Germany, in conjunction with CONCUR 2013. This volume contains the final versions of all contributions accepted for presentation at the workshop. The goal of the CompMod workshop series is to bring together researchers in Computer Science and Mathematics (both discrete and continuous), interested in the opportunities and the challenges of Systems Biology. The Program Committee of CompMod 2013 selected 3 papers for presentation at the workshop. In addition, we had two invited talks and five informal presentations. The scientific program of the workshop spans an interesting mix of approaches to systems and even synthetic biology, encompassing several different modeling approaches, ranging from quantitative to qualitative techniques, from continuous to discrete mathematics, and from deterministic to stochastic methods. We thank our invited speakers Daniela Besozzi (Universita degli Studi di Milano, Milano, Italy) and Juho Rousu (Aalto University, Finland) for accepting our invitation and for presenting some of their recent results at CompMod 2013. The technical contributions address the mathematical modeling of the PDGF signalling pathway, the canonical labelling of site graphs, rule-based modeling of polymerization reactions, rule-based modeling as a platform for the analysis of synthetic self-assembled nano-systems, robustness analysis of stochastic systems, an algebraic approach to gene assembly in ciliates, and large-scale text mining of biomedical literature.

Proceedings Tenth International Workshop on Developments in Computational Models

Proceedings 13th International Workshop on Developments in Computational Models

10th Workshop on Advances in Parallel and Distributed Computational Models - APDCM'08

Proceedings Fifth International Workshop on Classical Logic and Computation

Proceedings Second Workshop on Developments in Implicit Computational Complexity

Proceedings of the 18th International Overture Workshop

Proceedings of the 22nd International Overture Workshop

Proceedings Seventh International Workshop on Classical Logic and Computation

Proceedings Fourth International Workshop on Computational Models for Cell Processes

Proceedings of the 19th International Overture Workshop

Dagstuhl Manifestos, Vol. 7, Issue 1 ISSN 2193-2433

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures

Proceedings Machines, Computations and Universality 2013

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions

Mathematical modeling and problem solving: from fundamentals to applications

Proceedings Eighth Workshop on Mathematically Structured Functional Programming

Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Proceedings of the Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2013)