posted by user: baman || 2163 views || tracked by 6 users: [display]

BIPC 2014 : Special Track on Biologically-Inspired Process Calculi

FacebookTwitterLinkedInGoogle

Link: http://bionetics.org/2014/show/workshop-bipc
 
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)
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

Related Resources

BICS 2018   The 9th International Conference on Brain Inspired Cognitive System
BIBM 2018   2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM18)
NaBIC 2018   The 10th World Congress on Nature and Biologically Inspired Computing
IJAB 2018   International Journal of Advances in Biology
BICAS 2018   Biologically Inspired Parallel and Distributed Computing, Algorithms and Solutions (as part of HPCS 2018)
SBMF 2018   21st Brazilian Symposium on Formal Methods
BICA 2018   Ninth Annual International Conference on Biologically Inspired Cognitive Architectures
IJCTCM 2018   International Journal of Control Theory and Computer Modelling
SEAA-SPPI 2018   Euromicro SEAA - SPPI Track
BPM 2018   International Conference on Business Process Management - Demonstration Track