[TYPES/announce] MeCBIC 2013 Call for Papers (an ICALP workshop)

Gabriel Ciobanu gabriel at info.uaic.ro
Mon Apr 22 03:29:23 EDT 2013

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


***  Title and abstract:  28 April, 2013
***  Paper Submission:  4 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 

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, some papers presented at 
the workshop will be invited to be extended and submitted to a special 
issue of a visible journal.
More details at http://www.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
. . .

More information about the Types-announce mailing list