posted by user: baman || 1179 views || tracked by 4 users: [display]

BIPC 2014 : Special Track on Biologically-Inspired Process Calculi


When Dec 1, 2014 - Dec 3, 2014
Where Boston, MA, USA
Submission Deadline Sep 1, 2014
Notification Due Sep 22, 2014
Final Version Due Oct 13, 2014
Categories    theoretical computer science   formal methods   computational biology   theory

Call For Papers

Call for Papers
Special Track on Biologically-Inspired Process Calculi (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.


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


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

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
ACM SAC BPMEA 2017   ACM SAC Business Process Management & Enterprise Architecture Track
NFM 2017   The 9th NASA Formal Methods Symposium
IJE 2016   International Journal of Education
FSEN 2017   Fundamentals of Software Engineering
STOC 2017   Symposium on the Theory of Computing
IM4BigData 2016   Special Issue on Computational Intelligence, Neural, and Nature-inspired Methods for Big Data Processing
CMVIT 2017   2017 International Conference on Machine Vision and Information Technology (CMVIT 2017)