The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010) will take place in Jena on 23rd-24th of August 2010 as a related event of CMC11, the International Conference on Membrane Computing.
Biological membranes play a fundamental role in the complex reactions which take place in cells of living organisms. The importance of this role has been considered in two different types of formalisms recently introduced. Membrane systems were introduced as a class of distributed parallel computing devices inspired by the observation that any biological system is a complex hierarchical structure, with a flow of materials and information that underlies their functioning. The modeling and the analysis of biological systems has also attracted the interest of the process algebra research community. Thus the notions of membranes and compartments have been explicitely represented in a family of calculi, such as Ambients and Brane Calculi. A cross fertilization of the two research areas has recently started. A deeper investigation of the relations between these related formalisms is interesting, as it is important to understand the similarities and the differences.
The main aim of the workshop is to bring together researchers working in membrane computing, in biologically inspired process calculi (ambients, brane calculi, etc.) and in other related fields to present recent results and to discuss new ideas concerning such formalisms, their properties and relationships. Original research papers (including significant work-in-progress) on the membrane systems or biologically inspired process calculi are sought. Papers on the relationship between membrane systems and biologically inspired process calculi are particularly welcome. Related formal approaches in which cell compartments play an important role are also within the scope of the workshop. Topics of interest include (but are not limited to):
Invited Talk: Stochastic Simulation of Process Calculi |
---|
Andrew Phillips (Microsoft Research, Cambridge, UK) |
Authors are invited to submit a PDF version of their papers (of about 15 pages) using the web page http://www.easychair.org/conferences/?conf=mecbic2010. The workshop proceedings will be available electronically, and then published in the Electronic Proceedings in Theoretical Computer Science. The submissions should be prepared using LaTeX and EPTCS style.
After the workshop, extended and additionally refereed papers will be published in a special issue of Theoretical Computer Science which will include papers accepted and presented at both MeCBIC 2009 and MeCBIC 2010.
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, and the third one took place in Bologna as a satellite event of CONCUR 2009. The previous proceedings of the MeCBIC workshops have been published in the Elsevier ENTCS series (vol.171 and vol.227), and EPTCS vol.11 (2010).
Title and Abstract: | 18 June, 2010 |
Paper Submission: | 25 June, 2010 (firm) |
Notification: | 31 July, 2010 |
Pre EPTCS version: | 12 August, 2010 |
Workshop: | 23 August, 2010 |
Post EPTCS Version: | 24 Sept., 2010 |