[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                         MeCBIC 2008
            2nd Meeting on Membrane Computing and
            Biologically Inspired Process Calculi
              3-4 September 2008, Iasi, Romania

          *** Submission Deadline: 12 July 2008 ***

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 computing (P systems) and mobile ambients (brane calculi).

The MeCBIC aim is to bring together researchers working in membrane
computing and in biologically inspired process calculi (ambients, brane
calculus, etc.) to present recent research works and to discuss new ideas
concerning such formalisms, their properties and relationships. We also
celebrate 10 years of ambients and membrane systems.

Original research papers (including significant work-in-progress), as well
as surveys of current research on the relations between membrane systems
and biologically inspired process calculi are particularly welcome.
Original contributions on either membrane systems or biologically inspired
process calculi are also welcome.

Topics of interest include (but are not limited to):
       * Biologically inspired models and calculi
       * Biologically inspired language and behaviour equivalences
       * Analysis of properties of biologically inspired models and languages
       * Theoretical links and comparison between different models

Important Dates:
         Deadline for submissions       July 12, 2008
         Notification of acceptance     August 2, 2008
         Revised version                August 16, 2008
         Workshop                       Sept. 3-4, 2008

Submission Guidelines

Authors are invited to submit a PDF version of their papers (about 14
pages) using the web page
The submissions have to be prepared using LaTeX with ENTCS style and the
macros for MeCBIC located at http://www.entcs.org/table.html.
The proceedings of the first MeCBIC workshop have been also published in
the Elsevier ENTCS series (vol.171).
After the conference, it is planned to publish selected (and additionally
referred) papers in a special issue of a journal dedicated to MeCBIC 2008.

Past Events: The first edition of MeCBIC was held in Venice in 2006. One
of the organizers of the first MeCBIC was Nadia Busi. We are continuing
the series after the tragic loss of Nadia. The proceedings of the 1st
MeCBIC have been published as ENTCS vol.171(2).

Invited Speakers:
        Gheorghe Paun, Romanian Academy, Bucharest, Romania
        Gianluigi Zavattaro, University of Bologna, Italy

Program Committee:
       * Michele Bugliesi - Universit Ca' Foscari, Venice, Italy
       * Luca Cardelli - Microsoft Research, Cambridge, UK
       * Matteo Cavaliere - CoSBi, Trento, Italy
       * Gabriel Ciobanu (chair) - Iasi, Romania
       * Mariangiola Dezani - Universita' di Torino, Italy
       * Rudolf Freund - Vienna University of Technology, Austria
       * Marian Gheorghe - University of Sheffield, UK
       * Maciej Koutny - Newcastle University, UK
       * Gheorghe Paun - Romanian Academy, Bucharest, Romania
       * Maria Vigliotti - Imperial College, London, UK
       * Claudio Zandron - University of Milano-Bicocca, Italy

Reply via email to