[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
----------------------------------------------------------------
2nd Call for Papers
MeCBIC 2013
7th Workshop on Membrane Computing
and Biologically Inspired Process Calculi
7th July 2013, Riga, Latvia
http://www.info.uaic.ro/~mecbic/mecbic2013/
================================================================
*** Paper Submission: 22nd April, 2013
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.
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
