[TYPES/announce] MeCBIC 2008 - last Call for Papers
Aman Bogdan
baman at iit.tuiasi.ro
Tue Jul 8 03:06:27 EDT 2008
MeCBIC 2008
2nd Meeting on Membrane Computing and
Biologically Inspired Process Calculi
3-4 September 2008, Iasi, Romania
http://www.info.uaic.ro/~mecbic
*** 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
http://www.easychair.org/conferences/?conf=mecbic2008.
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
----------------------------------------------------------------------
More information about the Types-announce
mailing list