Proceedings Second International Workshop on Computational Models for Cell Processes

TL;DR

This paper compiles research contributions from the second international workshop on computational models for cell processes, highlighting recent advances in formal methods applied to biological systems.

Contribution

It presents a collection of recent research papers that introduce new computational models and formal methods for understanding cell processes.

Findings

Introduction of novel computational models for cell biology

Application of formal methods to biological systems

Enhanced understanding of cell process simulations

Abstract

The second international workshop on Computational Models for Cell Processes (ComProc 2009) took place on November 3, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009. The workshop was jointly organized with the EC-MOAN project. This volume contains the final versions of all contributions accepted for presentation at the workshop.