Logic List Mailing Archive

MeCBIC 2012: Membrane Computing and Biologically Inspired Process Calculi

8 Sep 2012
Newcastle, U.K.

----------------------------------------------------------------

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