MeCBIC 2013 - 7th Workshop on Membrane Computing and Biologically Inspired Process Calculi

The 7th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2013) will take place in Riga on 7th July 2013 as a related event of ICALP 2013, the 40th International Colloquium on Automata, Languages and Programming.
The modeling and the analysis of biological systems has attracted the interest of several research communities. The main aim of the workshop is to bring together researchers in concurrency theory, formal methods, and related fields that are interested to present recent results and to discuss new ideas concerning such formalisms, their properties and relationships. We welcome contributions that address both theoretical and applied contributions related to the relevance and potential of formal methods in biology. Topics of interest include (but not limited to):
Biologically inspired models and calculi (rewrite systems, process calculi, Petri nets, etc.);
Theoretical links and comparison of different biological inspired formal models;
Qualitative biological modeling;
Quantitative formal methods;
Modelling, analysis and simulation tools for biologically inspired systems.
Program Committee
Bogdan Aman (co-chair)
Romanian Academy, Iasi, RO
Roberto Barbuti
University of Pisa, Italy
Luca Cardelli
Microsoft, Cambridge, UK
Gabriel Ciobanu (co-chair)
Romanian Academy, Iasi, RO
Erik de Vink
TU Eindhoven, NL
Marian Gheorghe
Sheffield, UK
Paola Giannini
University Piemonte Orientale, Italy
Jean-Louis Giavitto
IRCAM CNRS, Paris, France
Jane Hillston
University of Edinburgh, UK
Jetty Kleijn
Leiden University, NL
Maciej Koutny
Newcastle University, UK
Emanuela Merelli
University of Camerino, Italy
Paolo Milazzo
University of Pisa, Italy
Gethin Norman
University of Glasgow, UK
Anna Philippou
University of Cyprus, Cyprus
Franck Pommereau
University of Evry, France
Jason Steggles
Newcastle University, UK
Angelo Troina
University of Torino, Italy