Call for Papers
Special Track on Biologically-Inspired Process Calculi (BIPC)
http://bionetics.org/2014/show/workshop-bipc

Co-located with 8th International Conference on Bio-inspired Information
and Communications Technologies (formerly BIONETICS) - BICT 2014
1-3 December, 2014
Boston, MA, USA

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 computational systems biology, concurrency theory, formal methods, and related fields that are interested to present recent results and to discuss new ideas concerning such research directions. 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;
- Theoretical links and comparison of different biological inspired formal models;
- Qualitative biological modeling;
- Quantitative semantics;
- Modelling, analysis and simulation tools for biologically systems.

The submitted papers will go through a peer-review process and accepted papers will be published in the Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS) to be held on December 1-3, 2014 Boston, Massachusetts, United States.

IMPORTANT DATES:

Regular paper submission due: September 1
Short and poster/demo paper submission due: September 22
Notification for regular papers: September 22
Notification for short and poster/demo papers: October 6
Camera ready due: October 13

Paper Submission

Authors are invited to submit regular papers (up to 8 pages each), short papers (up to 4 pages each) or poster/demo papers (up to 2 pages each) in ACM's paper template. Up to two extra pages are allowed for each paper with extra page charges. For more details, see http://bionetics.org/2014/show/initial-submission.

PUBLICATION:

All accepted paper will be published by ACM and submitted for indexing by SI, EI Compendex, Scopus, ACM Library, Google Scholar and many more. Selected papers will be considered for publication in leading journals including:

- ACM/Springer Mobile Networks and Applications
- Elsevier Information Sciences
- International Journal of Software Engineering and Knowledge Engineering
- Elsevier Nano Communication Networks Journal
- Cloud-integrated Cyber-Physical Systems (Springer book)

PC Chair:
Gabriel Ciobanu, Romanian Academy, ICS, Romania

PC Members:
Bogdan Aman - Romanian Academy, Iasi, Romania
Adriana Compagnoni - Stevens Institute of Technology, USA
Jean-Louis Giavitto - IRCAM CNRS, Paris, France
Emanuela Merelli - University of Camerino, Italy
Anna Philippou - University of Cyprus, Cyprus
Andrew Phillips - Microsoft, Cambridge, UK