MeCBIC 2013

7th Workshop on Membrane Computing and Biologically Inspired Process Calculi

7th July 2013, Riga, Latvia

Canceled due to technical reasons!

Aims and Scope

The 7th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2013) will take place in Riga on 7th July 2013 as a related event of ICALP 2013, the 40th International Colloquium on Automata, Languages and Programming.

The modeling and the analysis of biological systems has attracted the interest of several research communities. The main aim of the workshop is to bring together researchers in concurrency theory, formal methods, and related fields that are interested to present recent results and to discuss new ideas concerning such formalisms, their properties and relationships. We welcome contributions that address both theoretical and applied contributions related to the relevance and potential of formal methods in biology. Topics of interest include (but not limited to):

  • Biologically inspired models and calculi (rewrite systems, process calculi, Petri nets, etc.);
  • Theoretical links and comparison of different biological inspired formal models;
  • Qualitative biological modeling;
  • Quantitative formal methods;
  • Modelling, analysis and simulation tools for biologically inspired systems.


Invited Speaker:

Ovidiu Radulescu, University of Montpellier 2
Life made simple : model reduction as a tool for computational biology
Abstract (click to show/hide)
Biochemical networks are used in computational biology, to model mechanistic details of systems involved in cell signaling, metabolism, regulation of gene expression. Parametric and structural uncertainty, as well as combinatorial explosion are strong obstacles against analyzing the dynamics of large models of this type. Model reduction is an useful tool allowing to get past some of these obstacles. Networks with many, well separated, time scales, can be reduced to simpler networks, in a way that does not depend on the exact values of the parameters, but on their order relations. Finding a simplified biochemistry unravels design principles, facilitates parameter estimation and verification of biological systems.

Papers must report previously unpublished work, and not be submitted concurrently to another conference or journal. Authors are invited to submit a PDF version of their papers (of about 16 pages) using the web page The submissions should be prepared using LaTeX and EPTCS style. The workshop proceedings will be published in the Electronic Proceedings in Theoretical Computer Science. After the event, papers presented at the workshop will be invited to be furtherly extended and submitted to a special issue of a visible journal (indexed by DBLP, SCOPUS, Web of Science, etc)

Past Events: The first edition of MeCBIC was held in Venice in 2006 (co-located with ICALP 2006). The second MeCBIC was held in Iasi in 2008, the third one took place in Bologna (as a satellite event of CONCUR 2009), the forth one in Jena, the fifth in Paris and the sixth in Newcastle. The previous proceedings of the MeCBIC workshops have been published as ENTCS volumes 171(2) and 227 (2006 and 2008), EPTCS volumes 11, 40 and 100 (2009, 2010 and 2012), in in 2011. A selection of revised papers from 2008, 2009 and 2009 appeared in Theoretical Computer Science volume 431 in 2012.