Where academic tradition
meets the exciting future

Proceedings of Computational Models for Cell Processes

Ralph-Johan Back, Ion Petre, Erik de Vink (Eds.), Proceedings of Computational Models for Cell Processes, 6, EPTCS, 2009.


The second international workshop on {\it Computational Models for Cell Processes} (ComProc 2009) took place on November 3, 2009 at the Eindhoven University of Technology, in conjunction with {\it Formal Methods 2009}. The first edition of the workshop (2008) took place in Turku, Finland, in conjunction with {\it Formal Methods 2008}. 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 (especially in formal methods) and mathematics (both discrete and continuous), interested in the opportunities and the challenges of systems biology. CompMod 2009 has received 19 submissions, authored by 60 different authors from 7 countries. Most authors came from Italy (26), UK (11), and the Netherlands (11). The Program Committee has selected 8 papers for presentation at the workshop. We thank the PC members for their excellent work in making this selection. The CompMod 2009 Program Committee consisted of:

\item Ralph-Johan Back (\AA bo Akademi University, Finland) Co-Chair
\item Lubos Brim (Masaryk University, Czech Republic)
\item Muffy Calder (University of Glasgow, UK)
\item Eugen Czeizler (\AA bo Akademi University, Finland)
\item Vincent Danos (University of Edinburgh, UK)
\item Russ Harmer (University of Paris 7, France)
\item Monika Heiner (Brandeburg University of Technology Cottbus, Germany)
\item Jane Hillston (University of Edinburgh, UK)
\item Ina Koch (Max Planck Institute for Molecular Genetics, Germany)
\item Vincenzo Manca (Universita di Verona, Italy)
\item Giancarlo Mauri (Universita Degli Studi di Milano-Bicocca, Italy)
\item Satoru Miyano (University of Tokio, Japan)
\item Andrei P\u{a}un (Louisiana Tech University, US)
\item Ion Petre (\AA bo Akademi University, Finland) Co-Chair
\item Jaco van de Pol (University of Twente, the Netherlands)
\item Alberto Policriti (Universita di Udine, Italy)
\item Erik de Vink (Eindhoven University of Technology, the Netherlands) Co-Chair

The scientific program of the workshop spans an interesting mix of approaches to systems biology, ranging from quantitative to qualitative techniques, from continuous to discrete mathematics, and from deterministic to stochastic methods.
We thank our three invited speakers
\item Jasmin Fisher (Microsoft Research Cambridge, UK)
\item Hidde de Jong (INRIA Grenoble-Rhone-Alpes, France)
\item Grzegorz Rozenberg (Leiden, the Netherlands; Boulder, Colorado, US)
for accepting our invitation and for presenting some of their recent results at CompMod 2009.

Similarly as last year, a special issue of {\it LNBI Transactions on Computational Systems Biology} (Springer) will be based on CompMod 2009. The forthcoming special issue will have a separate, open call for papers in early 2010 and all submissions will be subject to a separate review process.

This edition of CompMod was jointly organized with the {\it EC-MOAN} project. We have organized a special session of the workshop dedicated to the project, where a brief overview of {\it EC-MOAN} was presented, together with the invited talk by Hidde de Jong (a member of the project), and a contributed paper by members of {\it EC-MOAN}. We are grateful to Jaco van de Pol and to Lubos Brim for agreeing to collaborate with us on the workshop. We also thank FME for their financial support.

We would also like to thank the editorial board of the {\it Electronic Proceedings in Theoretical Computer Science} (EPTCS) for accepting to publish these proceedings in their series.

{\it Ralph-Johan Back, Ion Petre, Erik de Vink\newline
Turku, Finland and Eindhoven, the Netherlands, October 2009\newline
Workshop organizers and PC co-chairs


Abstract in PDF-format

BibTeX entry:

  title = {Proceedings of Computational Models for Cell Processes},
  volume = {6},
  editor = {Back, Ralph-Johan and Petre, Ion and de Vink, Erik},
  publisher = {EPTCS},
  year = {2009},

Belongs to TUCS Research Unit(s): Computational Biomodeling Laboratory (Combio Lab)

Edit publication