[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



    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 
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.


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.


*  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