posted by user: baman || 1500 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
ICFEM 2017   19th International Conference on Formal Engineering Methods
FSCD 2017   FSCD 2017 : Second International Conference on Formal Structures for Computation and Deduction
CfP - CONCUR 2017   Call for Papers - 28th International Conference on Concurrency Theory
IJE 2017   International Journal of Education
LearnAut 2017   Learning and Automata - LICS 2017 Workshop
EPIA 2017   EPIA Conference on Artificial Intelligence -- Journal Track
DILS 2017   12th International Conference on Data Integration in Life Science
EuroGP 2017   20th European Conference on Genetic Programming
FMCAD 2017   Formal Methods in Computer-Aided Design