[TYPES/announce] CfP MeCBIC 2012 (8th September, Newcastle)
Gabriel Ciobanu
gabriel at info.uaic.ro
Thu May 10 00:32:11 EDT 2012
Apologies for multiple copies.
----------------------------------------------------------------
Call for Papers
MeCBIC 2012
6th Workshop on Membrane Computing
and Biologically Inspired Process Calculi
8th September 2012, Newcastle, UK
http://www.info.uaic.ro/~mecbic/mecbic2012/
================================================================
*** IMPORTANT DATES ***
Title and Abstract: 11 June, 2012
Paper Submission: 16 June, 2012
Notification: 23 July, 2012
Revised version: 7 August, 2012
The 6th Workshop on Membrane Computing and Biologically Inspired Process
Calculi will be held this year on 8th September in Newcastle as one of the
affiliated workshops of CONCUR 2012.
Traditionally MeCBIC papers deal with multilevel multiset rewriting as
they appear in membrane computing (a rule-based formalism), in Petri nets,
and in several process calculi (mobile 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.
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.
*** SUBMISSION GUIDELINES ***
Papers must report previously unpublished work, and not be submitted
concurrently to another conference or journal. Authors are invited to
submit their papers (of about 16 pages) using the web page
http://www.easychair.org/conferences/?conf=mecbic2012. We also encourage
short papers (around 8 pages) presenting new tools or platforms related to
the topics of MeCBIC 2012.
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.
*** PROGRAM COMMITTEE ***
* Bogdan Aman, A.I.Cuza University, Iasi, RO
* Roberto Barbuti, University of Pisa, Italy
* Luca Cardelli, Microsoft, Cambridge, UK
* Gabriel Ciobanu, Romanian Academy, Iasi (chair)
* Erik de Vink, TU Eindhoven, NL
* Jean-Louis Giavitto, IRCAM CNRS, Paris, France
* Jane Hillston, University of Edinburgh, UK
* Jetty Kleijn, Leiden University, NL
* Jean Krivine, University Paris 7, France
* Emanuela Merelli, University of Camerino, Italy
* Paolo Milazzo, University of Pisa, Italy
* Gethin Norman, University of Glasgow, UK
* Michele Pinna, University of Cagliari, Italy
* Franck Pommereau, University of Evry, France
* Jason Steggles, Newcastle University, UK
* Angelo Troina, University of Torino, Italy
========================================================
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 in 2011, and in
Theoretical Computer Science volume 431 in 2012.
More information about the Types-announce
mailing list