[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[We apologize for multiple copies.] ================================================================ 2nd Call for Papers MeCBIC 2010 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi http://www.info.uaic.ro/~mecbic/mecbic2010/ Jena, Germany, 23-24 August 2010 Affiliated to CMC11, Conference on Membrane Computing http://cmc11.uni-jena.de/index.html *** IMPORTANT DATES *** Title and Abstract: 18 June, 2010 Paper Submission: 25 June, 2010 (firm deadline) Notification: 31 July, 2010 EPTCS version: 12 Aug., 2010 ================================================================ 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 explicitly 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): * Biologically inspired models and calculi; * Biologically inspired systems and their applications; * Analysis of properties of biologically inspired models and languages; * Theoretical links and comparison between different models/systems. *** Invited Speaker: Andrew Phillips (Microsoft Research, Cambridge, UK) Stochastic Simulation of Process Calculi *** SUBMISSION GUIDELINES *** Authors are invited to submit a PDF version of their papers (of about 15 pages) using the EPTCS style (http://www.eptcs.org/). Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Authors should submit their papers via EasyChair (http://www.easychair.org/conferences/?conf=mecbic2010). We also encourage the submission of short papers, limited to 8 pages, presenting new tools or platforms related to the topics of MeCBIC 2010. *** DISSEMINATION *** The workshop proceedings will be available electronically, and then published in the Electronic Proceedings in Theoretical Computer Science. After the workshop, extended and additionally refereed papers will be published in a special issue of Theoretical Computer Science including selected papers of both MeCBIC 2009 and MeCBIC 2010. *** PROGRAM COMMITTEE *** * Joern Behre, Friedrich Schiller University, Jena, DE * Luca Cardelli, Microsoft Research, Cambridge, UK * Matteo Cavaliere, CSIC-CNB, Madrid, Spain * Gabriel Ciobanu, ICS, Romanian Academy, Iasi, RO (co-chair) * Federica Ciocchetta, CoSBi, Trento, Italy * Flavio Corradini, University of Camerino, Italy * Erzsebet Csuhaj-Varju, CARI, Hungarian Academy, Budapest, HU * Erik de Vink, Technische Universiteit Eindhoven, NL * Marian Gheorghe, University of Sheffield, UK * Jean-Louis Giavitto, University of Evry, France * Thomas Hinze, Friedrich Schiller University, Jena, DE * Maciej Koutny, Newcastle University, UK (co-chair) * Paolo Milazzo, University of Pisa, Italy * Angelo Troina, University of Torino, Italy * Claudio Zandron, University of Milano-Bicocca, Italy * Gianluigi Zavattaro, University of Bologna, Italy ================================================================