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 comparisons between different biological inspired
formal models;
• Qualitative biological modeling;
• Quantitative formal methods;
• Modelling, analysis and simulation tools for biologically inspired systems;
Submission
Papers must report previously unpublished work, and not be submitted
concurrently to another conference or journal. Authors are invited to
submit a PDF version of their papers (of about 16 pages) using the web
page http://www.easychair.org/conferences/?conf=mecbic2013. The
submissions should be prepared using LaTeX and EPTCS style. 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)
Past Events: 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 arXiv.org in 2011. A selection of revised papers
from 2008, 2009 and 2009 appeared in Theoretical Computer Science volume
431 in 2012.
Important Dates
Paper Submission: 22 April, 2013
Notification: 1 June, 2013
Meeting: 7 July, 2013
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
--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
