MeCBIC 2013
7th Workshop on Membrane Computing
and Biologically Inspired Process Calculi
7th July 2013, Riga, Latvia

http://profs.info.uaic.ro/~mecbic/mecbic2013/
================================================================

*** Abstract Submission: 28 April, 2013
*** Paper Submission: 04 May, 2013 (firm!)

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. (http://www.icalp2013.lu.lv/)

If your work is related to MeCBIC topics, it is now a good opportunity to
submit a paper (of about 16 pages), using the web page
http://www.easychair.org/conferences/?conf=mecbic2013.

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.

Invited Speaker:
Ovidiu Radulescu, University of Montpellier 2
Life made simple : model reduction as a tool for computational biology

The workshop proceedings will be published in the Electronic Proceedings in Theoretical Computer Science. After the event, papers presented at the
workshop will be invited to be furtherly extended and submitted to a special issue of a visible journal (indexed by DBLP, SCOPUS, Web of Science, etc)
More details at http://profs.info.uaic.ro/~mecbic/mecbic2013/

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