posted by user: baman || 1266 views || tracked by 4 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

SEAA-SPPI 2017   Euromicro SEAA - SPPI Track
IJBES 2017   International journal of Biomedical Engineering and Science
EuroGP 2017   20th European Conference on Genetic Programming
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
FSCD 2017   FSCD 2017 : Second International Conference on Formal Structures for Computation and Deduction
CMVIT 2017   2017 International Conference on Machine Vision and Information Technology (CMVIT 2017)--IEEE(CPS)-Final Call !
NICNaVR 2017   Nature-Inspired Computation in Navigation and Vehicle Routing
ICFEM 2017   19th International Conference on Formal Engineering Methods
EPIA 2017   EPIA Conference on Artificial Intelligence -- Journal Track
FLAIRS 2017   FLAIRS-30: Special Track in Data Mining