The 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012) will take place in Newcastle on 8th September 2012 as a related event of CONCUR 2012, the 23rd International Conference on Concurrency Theory.
The modeling and the analysis of biological systems has attracted the interest of several research communities. The notion of compartments appears in rule-based formalisms as membrane computing, and in several process calculi (e.g., bio-ambients, brane calculi). A cross fertilization of various 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 these biologically inspired formalisms (membrane systems, Petri nets, ambient and brane calculi, their stochastic approaches, etc.) to present recent results and to discuss new ideas concerning such formalisms, their properties and relationships. Original research papers on biologically inspired process calculi are sought. Papers on the relationship between membrane systems and biologically inspired process calculi are 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):
Papers must report previously unpublished work, and not be submitted concurrently to another conference or journal. Authors are invited to submit the Authors are invited to submit a PDF version of their papers (of about 16 pages) using the web page http://www.easychair.org/conferences/?conf=mecbic2012. 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 workshop, some selected papers will be published in Scientific Annals of Computer Science, an open access journal indexed by SCOPUS, MathSciNet, Directory of Open Access Journals, DBLP, 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), and the forth one in Jena. The previous proceedings of the MeCBIC workshops have been published as ENTCS volumes 171 and 227 (2006, 2008), EPTCS volumes 11 and 40 (2009, 2010), in arXiv.org (http://arxiv.org/abs/1108.3558) in 2011, and in Theoretical Computer Science volume 431 in 2012.
Title and Abstract: | 11 June, 2012 |
Paper Submission: | 27 June, 2012 |
Notification: | 23 July, 2012 |
Meeting: | 8 September, 2012 |
Journal Version: | 15 October 2012 |