posted by user: baman || 1155 views || tracked by 3 users: [display]

MeCBIC 2014 : 7th Workshop on Membrane Computing and Biologically Inspired Process Calculi


When Sep 16, 2014 - Sep 16, 2014
Where Bucharest, Romania
Abstract Registration Due Jun 22, 2014
Submission Deadline Jun 29, 2014
Notification Due Aug 9, 2014
Final Version Due Oct 15, 2014
Categories    theoretical computer science   formal methods   computational biology   theory

Call For Papers

Call for Papers
MeCBIC 2014
7th Workshop on Membrane Computing
and Biologically Inspired Process Calculi
16th September 2014, Bucharest, Romania

*** Abstract Submission: 22 June, 2014
*** Paper Submission: 29 June, 2014
*** Notification: 9 August, 2014
*** Meeting: 16 September, 2014


The 7th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2014) will take place in Bucharest on 16th September 2014 as a related event of ICTAC 2014, the 11th International Colloquium on Theoretical Aspects of Computing.

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


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.

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)


The first edition of MeCBIC was held in Venice in 2006 (co-located with ICALP 2006). The second MeCBIC was held in Iasi in 2008, the third one took place in Bologna (as a satellite event of CONCUR 2009), the forth one in Jena, the fifth in Paris and the sixth in Newcastle. The previous proceedings of the MeCBIC workshops have been published as ENTCS volumes 171(2) and 227 (2006 and 2008), EPTCS volumes 11, 40 and 100 (2009, 2010 and 2012), in in 2011. A selection of revised papers from 2008, 2009 and 2009 appeared in Theoretical Computer Science volume 431 in 2012.


Bogdan Aman (co-chair) - Romanian Academy, Iasi, RO
Roberto Barbuti - University of Pisa, Italy
Luca Cardelli - Microsoft, Cambridge, UK
jane Hillston - University of Edinburgh, UK
Florentin Ipate (co-chair) - University of Bucharest, RO
Jean-Louis Giavitto - IRCAM CNRS, Paris, France
Jetty Kleijn - Leiden University, NL
Jean Krivine - University Paris 7, France
Emanuela Merelli - University of Camerino, Italy
Gethin Norman - University of Glasgow, UK
Jun Pang - University of Luxembourg, LU
Anna Philippou - University of Cyprus, Cyprus
G. Michele Pinna - University of Cagliari, Italy
Franck Pommereau - University of Evry, France
Jason Steggles - Newcastle University, UK
Gy├Ârgy Vaszil - University of Debrecen, Hungary
Angelo Troina - University of Torino, Italy

Additional information about the workshop can be found on the MeCBIC 2014 web page
For information regarding the workshop and other queries, you can use
the chairs email addresses: or (Bogdan Aman) or (Florentin Ipate)

Related Resources

EvoMUSART 2016   5th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design
IJBES 2016   International journal of Biomedical Engineering and Science
Computation SI 2017   Special Issue in Computational Aspects Related to Unconventional, Bioinspired and Quantum Methods
NFM 2017   The 9th NASA Formal Methods Symposium
HPDC 2017   The 26th International ACM Symposium on High-Performance Parallel and Distributed Computing
FSEN 2017   Fundamentals of Software Engineering
UbiComp 2017   2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing
STOC 2017   Symposium on the Theory of Computing
EICS 2017   ACM SIGCHI Symposium on Engineering Interactive Computing Systems
CMVIT 2017   2017 International Conference on Machine Vision and Information Technology (CMVIT 2017)