[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] MeCBIC 2009: 2nd Call for Papers




MeCBIC 2009
3rd Workshop on Membrane Computing and
Biologically Inspired Process Calculi
--- http://www.info.uaic.ro/~mecbic

Satellite Workshop of CONCUR 2009
--- 5th September 2009, Bologna, Italy

The main aim of the workshop is to bring together researchers working in 
membrane computing, in biologically inspired process calculi (ambients, brane 
calculi, etc.) and in other related fields to present recent results and to 
discuss new ideas concerning such formalisms, their properties and 
relationships (similarities, differences,...).

Original research papers (including significant work-in-progress) on the 
membrane systems or biologically inspired process calculi are sought. Papers on 
the relationship between membrane systems and biologically inspired process 
calculi are particularly welcome. Related formal approaches in which cell 
compartments play an important role are also within the scope of the workshop.
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

Invited Speaker: Luca Cardelli
     Pi in the Sky: Spatial Process Algebra for Developmental Biology

The 3rd MeCBIC will be held exactly 2 years after the tragic death of Nadia 
Busi who worked at the University of Bologna for many years, and organize the 
first MeCBIC in 2006. Thus MeCBIC 2009 is also a scientific commemoration and 
reverence to Nadia.

Important Dates
 	Title + Abstract: 1 June, 2009
 	Paper Submission: 7 June, 2009
 	Notification: 	  14 July, 2009
 	Camera-ready: 	  21 July, 2009
 	Workshop: 	  5 September, 2009
 	EPTCS Version: 	  2 October, 2009

Authors are invited to submit a PDF version of their papers (15 pages) using 
the web page http://www.easychair.org/conferences/?conf=mecbic2009. The 
workshop proceedings will be published in the Electronic Proceedings in 
Theoretical Computer Science (http://www.eptcs.org/). The submissions should be 
prepared using LaTeX and EPTCS format. Based on the submissions quality, it is 
possible to publish extended versions of selected (and additionally referred) 
papers in a special issue of a journal.

Program Committee
     * Luca Cardelli - Microsoft Research, Cambridge, UK
     * Matteo Cavaliere - CoSBi, Trento, Italy
     * Gabriel Ciobanu (chair) - Romanian Academy, Iasi
     * Erzsebet Csuhaj-Varju - Hungarian Academy, Budapest
     * Jean-Louis Giavitto - University of Evry, France
     * Maciej Koutny - Newcastle University, UK
     * Vincenzo Manca - University of Verona, Italy
     * Emanuela Merelli - University of Camerino, Italy
     * Marino Miculan - University of Udine, Italy
     * Gheorghe Paun - Romanian Academy, Bucharest
     * Cristian Versari - University of Bologna, Italy
     * Claudio Zandron - University of Milano-Bicocca, Italy

Organizers
     * Ivan Lanese      / lanese -at- cs.unibo.it
     * Cristian Versari / versari -at- cs.unibo.it
     * Emanuela Merelli / merelli -at- unicam.it

Contact: gabriel@info.uaic.ro
-----